Joxan Jaffar, Andrew E. Santosa, Razvan Voicu. A CLP Proof Method for Timed Automata. In Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal. pages 175-186, IEEE Computer Society, 2004. [doi]
@inproceedings{JaffarSV04,
title = {A CLP Proof Method for Timed Automata},
author = {Joxan Jaffar and Andrew E. Santosa and Razvan Voicu},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/rtss/2004/2247/00/22470175abs.htm},
tags = {e-science},
researchr = {https://researchr.org/publication/JaffarSV04},
cites = {0},
citedby = {0},
pages = {175-186},
booktitle = {Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal},
publisher = {IEEE Computer Society},
isbn = {0-7695-2247-5},
}