The Limit of Testing for Timed Automata (to appear)

L. Aceto, P. Bouyer, A. Burgueno, K.G. Larsen

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)-
    JournalTheoretical computer science
    Publication statusPublished - 2002

    Keywords

    • METIS-209869

    Cite this