Conference
Verification of JavaSpaces/spl trade/ parallel programs
| Τίτλος: | Verification of JavaSpaces/spl trade/ parallel programs |
|---|---|
| Συγγραφείς: | van de Pol, J., Espada, M.V. |
| Πηγή: | Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. Application of concurrency to system design Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on. :196-205 2003 |
| Relation: | International Conference on Application of Concurrency to System Design (ACSD'2003) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 0769518877 9780769518879 |
|---|---|
| DOI: | 10.1109/CSD.2003.1207714 |