Efficient model checking for duration calculus

Martin Fränzle, Michael Reichhardt Hansen

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalInternational Journal of Software and Informatics
    Volume3
    Issue number2-3
    Pages (from-to)171-196
    ISSN1673-7288
    Publication statusPublished - 2009

    Cite this