Browse by Person (creator, editor, contributor, etc.)
Number of items: 2. Book section
Conference or workshop item
|
Gomez, R.S. and Bowman, H.
(2003)
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
pp. 177-192.
ISBN 3-540-20175-0 .
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed May 22 23:19:38 2013 BST.
|