Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Thomas, M. and Kirkwood, C. and Matthews, B. and Watson, P.
Verification techniques for LOTOS: final report.
Department of Computing Science, University of Glasgow
(The full text of this publication is not available from this repository)