@inproceedings{756a0ef3e59b41e8861006db08316de3,
title = "SMT-Based Induction Methods for Timed Systems",
keywords = "induction, satisfiability modulo theories, symbolic model checking, timed automata, induction, satisfiability modulo theories, symbolic model checking, timed automata, induction, satisfiability modulo theories, symbolic model checking, timed automata",
author = "Roland Kindermann and Tommi Junttila and Ilkka Niemel{\"a}",
note = "VK: stmcdes coin hiit logic",
year = "2012",
doi = "10.1007/978-3-642-33365-1_13",
language = "English",
isbn = "978-3-642-33364-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "171--187",
editor = "Marcin Jurdzinski and Dejan Nickovic",
booktitle = "10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012",
address = "Germany",
}