A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata
Lugiez, D. ; Niebert, P. ; Zennou, S.
Lecture notes in computer science, 2004, p.296-311
[Revista revisada por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponible