Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
1998
Pearson, Justin and Bryans, Jeremy W. (1998) Constraint Oriented Specification with CSP and Real Time Temporal Logic. Technical report. University of Kent (Full text available) |