L | |
---|---|
[LNZ05] | Denis Lugiez,
Peter Niebert et
Sarah Zennou.
A partial order semantics approach to the clock
explosion problem of timed automata.
Theoretical Computer Science 345(1):27-59. Elsevier, novembre 2005.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1