Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, Phil
A comparison of real-time formal specification languages.
In: Duke, David J. and Evans, A.S., eds.
BCS-FACS Northern formal methods workshop.
Electronic Workshops in Computer Science.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)