Wojciech Penczek, Maciej Szreter. SAT-based Unbounded Model Checking of Timed Automata. Fundamenta Informaticae, 85(1-4):425-440, 2008. [doi]
@article{PenczekS08,
title = {SAT-based Unbounded Model Checking of Timed Automata},
author = {Wojciech Penczek and Maciej Szreter},
year = {2008},
url = {http://iospress.metapress.com/content/60w83j0642pg11p5/},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/PenczekS08},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {85},
number = {1-4},
pages = {425-440},
}