Bozena Wozna-Szczesniak, Andrzej Zbrzezny. Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. In Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak, editors, Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. Volume 1032 of CEUR Workshop Proceedings, pages 469-477, CEUR-WS.org, 2013. [doi]
Abstract is missing.