Specification and verification of concurrent systems
Author(s)
Bibliographic Information
Specification and verification of concurrent systems
（Workshops in computing）
Springer-Verlag, c1990
- : Germany
- : U.S.
Available at / 16 libraries
-
No Libraries matched.
- Remove all filters.
Note
"Published in collaboration with the British Computer Society"
"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"--Pref
Incudes bibliographical references and index