Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata (2012)
AUTHORS:
Kindermann Roland
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
Formal Techniques for Distributed Systems
SERIES:
Lecture Notes in Computer Science
VOLUME:
7273
PAGES:
84--100
URL:
http://dx.doi.org/10.1007/978-3-642-30793-5_6
@inproceedings{ KindermannJunttilaNiemela:FORTE2012, editor = "Giese, Holger and Rosu, Grigore", author = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "Springer", eventtime = "June 13-16", responsibleauthor = {Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}}, language = "eng", title = "Beyond Lassos: Complete {SMT}-Based Bounded Model Checking for Timed Automata", url = "http://dx.doi.org/10.1007/978-3-642-30793-5_6", series = "Lecture Notes in Computer Science", booktitle = "Formal Techniques for Distributed Systems", issn = "0302-9743", flags = "copy,COIN,HIIT", country = "Germany", volume = "7273", eventlocation = "Stockholm, Sweden", juforank = "1", il = "no", isbn = "978-3-642-30792-8", year = "2012", unitcode = "T306-99, T312-1", impactfactor = "A4", pages = "84--100" }