Bounded Model Checking of an MITL Fragment for Timed Automata (2013)
AUTHORS:
Kindermann Roland
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
13th International Conference on Application of Concurrency to System Design (ACSD)
PAGES:
216--225
URL:
http://dx.doi.org/10.1109/ACSD.2013.25
@inproceedings{ KindermannJunttilaNiemela:ACSD2013, author = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "IEEE", language = "eng", title = "Bounded Model Checking of an MITL Fragment for Timed Automata", url = "http://dx.doi.org/10.1109/ACSD.2013.25", country = "Spain", booktitle = "13th International Conference on Application of Concurrency to System Design (ACSD)", flags = "LOGIC COIN HIIT", responsibleauthor = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka}, juforank = "1", il = "no", eventdetails = "13th International Conference on Application of Concurrency to System Design (ACSD), July 8--10, Barcelona, Spain", year = "2013", unitcode = "T306-99, T312-1", kay = "NA", impactfactor = "A4", pages = "216--225" }