The efficiency of identifying timed automata and the power of clocks
scientific article; zbMATH DE number 5932335
scientific article