The concurrency workbench - a semantics based tool for the verification of concurrent systems
- Författare
- Rance Cleaveland
- (Rance Cleaveland, Joachim Parrow and Bernhard Steffen)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Swedish Institute of Computer Science (SICS) | 1991 | Sverige, Kista | 39 sidor. : ill. 30 cm |