Michal Knapik, Wojciech Penczek. Bounded Model Checking for Parametric Timed Automata. In Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, editors, Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010. Volume 827 of CEUR Workshop Proceedings, pages 419-435, CEUR-WS.org, 2010. [doi]
Abstract is missing.