Developing and verifying protocols in CSP
A. W. Roscoe
Details
| Book Title |
Proceedings of Mierlo workshop on protocols |
| Publisher |
TU Eindhoven |
| Year |
1993 |
Links
Related pages
|
People |
|
|
Activities |