BibTeX record conf/rtss/JaffarSV04

• > Home > 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}
}