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, 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 Mon Apr 21 16:00:41 2014 BST.