@inproceedings{cc342bdd8e8c4d7b9dad092bb9637a43,
title = "Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata",
keywords = "bounded model checking, satisfiability modulo theories, symbolic model checking, timed automata, bounded model checking, satisfiability modulo theories, symbolic model checking, timed automata, bounded model checking, 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-30793-5_6",
language = "English",
isbn = "978-3-642-30792-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "84--100",
editor = "Holger Giese and Grigore Rosu",
booktitle = "FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012",
address = "Germany",
}