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

Group by: Item Type | Date | No Grouping

Number of items: 2.

Conference or workshop item

Lai, L.M. and Watson, P. (1997) A case study in Timed CSP: the railroad crossing problem. In: Maler, O., ed. Hybrid and Real-Time Systems. Lecture Notes in Computer Science, 1201. Springer Verlag pp. 69-74. ISBN 3-540-62600-X. The full text of this publication is not available from this repository.

Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, P. (1997) A comparison of real-time formal specification languages. In: Duke, D.J. and Evans, A.S., eds. BCS-FACS Northern formal methods workshop. Electronic Workshops in Computer Science. Springer Verlag ISBN 3540761179. The full text of this publication is not available from this repository.

This list was generated on Sun May 19 23:31:42 2013 BST.