Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2006
Daws, C.F. and Kordy, P.T.
(2006)
Symbolic Robustness Analysis of Timed Automata.
In: Formal Modeling and Analysis of Timed Systems, 25-27 September 2006, Paris,France.
pp. 143-155.
Lecture Notes in Computer Science 4202.
Springer Verlag.
ISBN 978-3-540-45026-9
This list was generated on Thu May 24 05:39:43 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||