Verification of JavaSpaces™ parallel programs

  1. Van De Pol, J.
  2. Espada, M.V.
Aktak:
Proceedings - International Conference on Application of Concurrency to System Design, ACSD

ISSN: 1550-4808

ISBN: 0769518877

Argitalpen urtea: 2003

Alea: 2003-January

Orrialdeak: 196-205

Mota: Biltzar ekarpena

DOI: 10.1109/CSD.2003.1207714 GOOGLE SCHOLAR
Datuen iturria: Scopus