SMT-Based Induction Methods for Timed Systems

Reference:

Roland Kindermann, Tommi Junttila, and Ilkka Niemelä. SMT-based induction methods for timed systems. In Marcin Jurdzinski and Dejan Nickovic, editors, Formal Modeling and Analysis of Timed Systems, volume 7595 of Lecture Notes in Computer Science, pages 171–187. Springer, 2012.

Suggested BibTeX entry:

@inproceedings{KindermannJunttilaNiemela:FORMATS2012,
    author = {Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Formal Modeling and Analysis of Timed Systems},
    editor = {Marcin Jurdzinski and Dejan Nickovic},
    language = {eng},
    pages = {171--187},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {{SMT}-Based Induction Methods for Timed Systems},
    volume = {7595},
    year = {2012},
}