The efficiency of identifying timed automata and the power of clocks

Research output: Contribution to journalArticleScientificpeer-review

18 Citations (Scopus)
Original languageEnglish
Pages (from-to)606-625
Number of pages20
JournalInformation and Computation
Volume209
Issue number3
DOIs
Publication statusPublished - 2011

Keywords

  • ZX CWTS JFIS < 1.00

Cite this