SMT-Based Induction Methods for Timed Systems (2012)
AUTHORS:
Kindermann Roland
,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
Formal Modeling and Analysis of Timed Systems
SERIES:
Lecture Notes in Computer Science
VOLUME:
7595
PAGES:
171--187
URL:
http://dx.doi.org/10.1007/978-3-642-33365-1_13
@inproceedings{ KindermannJunttilaNiemela:FORMATS2012, editor = "Jurdzinski, Marcin and Nickovic, Dejan", author = {Kindermann, Roland and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "Springer", eventtime = "September 18-20", responsibleauthor = {Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}}, language = "eng", title = "{SMT}-Based Induction Methods for Timed Systems", url = "http://dx.doi.org/10.1007/978-3-642-33365-1_13", series = "Lecture Notes in Computer Science", booktitle = "Formal Modeling and Analysis of Timed Systems", issn = "0302-9743", flags = "copy LOGIC COIN HIIT", country = "Germany", volume = "7595", eventlocation = "London, UK", juforank = "NA", il = "no", isbn = "978-3-642-33364-4", year = "2012", unitcode = "T306-99, T312-1", impactfactor = "A4", pages = "171--187" }