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 Thu Apr 17 22:43:05 2014 BST.