Exact Acceleration of Real-Time Model Checking

M. Hendriks, K.G. Larsen

    Research output: Contribution to journalArticleAcademicpeer-review

    23 Citations (Scopus)
    Original languageUndefined
    Pages (from-to)-
    JournalTheoretical computer science
    Volume65
    Publication statusPublished - 2002

    Keywords

    • METIS-211487

    Cite this