Verification of JavaSpaces™ parallel programs
- Van De Pol, J.
- Espada, M.V.
ISSN: 1550-4808
ISBN: 0769518877
Year of publication: 2003
Volume: 2003-January
Pages: 196-205
Type: Conference paper
ISSN: 1550-4808
ISBN: 0769518877
Year of publication: 2003
Volume: 2003-January
Pages: 196-205
Type: Conference paper