TY  - RPRT
TI  - The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix)
AU  - Peter Fontana
AU  - Rance Cleaveland
PY  - 2014
DO  - 10.1007/978-3-319-10512-3_9
UR  - https://arxiv.org/abs/1408.6104
ID  - 1408.6104
ER  -