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

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 34 (2000) no. 6, pp. 565-584.

Nguena Timo, Omer Landry ; Reynier, Pierre-Alain

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013) no. 1, pp. 69-96.

Lüttgen, Gerald ; Vogler, Walter

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 39 (2005) no. 3, pp. 587-618.