SAT-based Unbounded Model Checking of Timed Automata.

Wojciech Penczek Maciej Szreter SAT-based Unbounded Model Checking of Timed Automata. 236-237 2007 conf/acsd/2007 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.63 db/conf/acsd/acsd2007.html#PenczekS07