Improved undecidability results on weighted timed automata
Bouyer, Patricia ; Brihaye, Thomas ; Markey, Nicolas
Information processing letters, 2006-06, Vol.98 (5), p.188-194
[Periódico revisado por pares]
Amsterdam: Elsevier B.V
Texto completo disponível