Efficient State Space Search for Time Petri Nets

    Research output: Contribution to journalArticleScientificpeer-review

    35 Citations (Scopus)
    Original languageUndefined/Unknown
    Pages (from-to)113–133
    JournalElectronic Notes in Theoretical Computer Science
    Volume18
    Publication statusPublished - 1998
    MoE publication typeA1 Journal article-refereed

    Cite this