"One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the ..."

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics