Bounded Model Checking of an MITL Fragment for Timed Automata

Roland Kindermann, Tommi Junttila, Ilkka Niemelä

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publication13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain
    PublisherIEEE
    Pages216-225
    ISBN (Electronic)978-0-7695-5035-0
    DOIs
    Publication statusPublished - 2013
    MoE publication typeA4 Conference publication

    Publication series

    Name
    PublisherIEEE
    ISSN (Print)1550-4808

    Cite this