facs 1992: Specification and Verification of Concurrent Systems - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Submissions:
Notification:
Event:	-

B. Tim Denvir, Ros Herman, R. W. Whitty, editors, 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.