BibTeX record conf/rtss/JaffarSV04
@inproceedings{DBLP:conf/rtss/JaffarSV04, author = {Joxan Jaffar and Andrew E. Santosa and Razvan Voicu}, title = {A {CLP} Proof Method for Timed Automata}, booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS} 2004), 5-8 December 2004, Lisbon, Portugal}, pages = {175--186}, year = {2004}, crossref = {DBLP:conf/rtss/2004}, url = {https://doi.org/10.1109/REAL.2004.5}, doi = {10.1109/REAL.2004.5}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/bib/conf/rtss/JaffarSV04}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rtss/2004, title = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS} 2004), 5-8 December 2004, Lisbon, Portugal}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://ieeexplore.ieee.org/xpl/conhome/9490/proceeding}, isbn = {0-7695-2247-5}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/bib/conf/rtss/2004}, bibsource = {dblp computer science bibliography, https://dblp.org} }

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.