Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

Reference:

Roland Kindermann, Tommi Junttila, and Ilkka Niemelä. Beyond lassos: Complete SMT-based bounded model checking for timed automata. In Holger Giese and Grigore Rosu, editors, Formal Techniques for Distributed Systems, volume 7273 of Lecture Notes in Computer Science, pages 84–100. Springer, 2012.

Suggested BibTeX entry:

@inproceedings{KindermannJunttilaNiemela:FORTE2012,
    author = {Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {Formal Techniques for Distributed Systems},
    editor = {Holger Giese and Grigore Rosu},
    language = {eng},
    pages = {84--100},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Beyond Lassos: Complete {SMT}-Based Bounded Model Checking for Timed Automata},
    volume = {7273},
    year = {2012},
}