BibTeX record conf/rtss/JaffarSV04

download as .bib file

@inproceedings{DBLP:conf/rtss/JaffarSV04,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {A {CLP} Proof Method for Timed Automata},
  booktitle = {{RTSS}},
  pages     = {175--186},
  publisher = {{IEEE} Computer Society},
  year      = {2004}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics