Number of items: 1.
Monograph
|
Thomas, M. and Kirkwood, C. and Matthews, B. and Watson, P.
(1993)
Verification techniques for LOTOS: final report.
Technical report.
Department of Computing Science, University of Glasgow
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed Jun 19 17:45:11 2013 BST.
