Liste des citations dans Numdam pour : Characteristic formulae for timed automata

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000), p. 565-584 / Harvested from Numdam

Nguena Timo, Omer Landry ; Reynier, Pierre-Alain

On characteristic formulae for Event-Recording Automata
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013), p. 69-96 / Harvested from Numdam

Lüttgen, Gerald ; Vogler, Walter

Bisimulation on speed : lower time bounds
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005), p. 587-618 / Harvested from Numdam