Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Monograph
Number of items: 1.

Monograph

Thomas, M. and Kirkwood, C. and Matthews, Brian and Watson, Phil (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 Tue Jul 29 13:44:30 2014 BST.