Verification of JavaSpaces™ parallel programs

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

ISSN: 1550-4808

ISBN: 0769518877

Any de publicació: 2003

Volum: 2003-January

Pàgines: 196-205

Tipus: Aportació congrés

DOI: 10.1109/CSD.2003.1207714 GOOGLE SCHOLAR
Font de les dades: Scopus