Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Lai, Luming and Watson, Phil
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.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)