Specification And Verification Of Concurrent Systems
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1990 |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2018973 |
About Specification And Verification Of Concurrent Systems
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. . . .