Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Conference or workshop item
Gomez, Rodolfo and Bowman, Howard
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.
In: Konig, H. and Heiner, M. and Wolisz, A., eds.
Lecture Notes in Computr Science.
LNCS, 2767 (2767).
Springer, Berlin, Germany
ISBN 3-540-20175-0 .
(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)