Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

K.G. Larsen, F. Larsson, P. Pettersson, Wentao Yi

    Research output: Contribution to journalArticleAcademic

    Original languageUndefined
    Pages (from-to)-
    JournalReal-time systems
    Volume0922-6443
    Publication statusPublished - 2001

    Keywords

    • METIS-204798

    Cite this