Formal Data Analysis of Timed Finite State Systems.

Jrgen Ruf, Thomas Kropf

Browse the full ECRTS paper archive.