BCS-FACS Publications
BCS-FACS
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.
Workshops in Computing Springer 1992, 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].
Workshops in Computing Springer 1990, ISBN 3-540-19581-5
Contents
Last update Thu May 23 16:47:52 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
