A partial order semantics approach to the clock explosion problem of timed automata
Lugiez, D. ; Niebert, P. ; Zennou, S.
Theoretical computer science, 2005-11, Vol.345 (1), p.27-59
[Periódico revisado por pares]
Amsterdam: Elsevier B.V
Texto completo disponível