BCS-FACS Publications
Formal Aspects of Measurement 1991: London, UK
B. Tim Denvir, Ros Herman, R. W. Whitty (Eds.): Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991. Springer 1992 Workshops in Computing ISBN 3-540-19788-5 [ contents ]
Specification and Verification of Concurrent Systems 1988: Stirling, Scotland, UK
- Charles Rattray (Ed.): Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Springer 1990 Workshops in Computing ISBN 3-540-19581-5 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team