Bounded Model Checking of an MITL Fragment for Timed Automata

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

Researchers

Research units

Details

Original languageEnglish
Title of host publication13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherIEEE
ISSN (Print)1550-4808

ID: 626828