Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. 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.
|
|
This list was generated on Tue May 21 22:27:03 2013 BST. |
