BCS-FACS Publications (BCS-FACS)

BCS-FACS

Formal Aspects of Measurement 1991: London, UK

Specification and Verification of Concurrent Systems 1988: Stirling, Scotland, UK

a service of Schloss Dagstuhl - Leibniz Center for Informatics