Record Beta
BCS-FACS Publications
https://id.confref.org/data/confref-portal/event/facs1988
This record is part of the confref event Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK].
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.