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. . . .