BibTeX record conf/time/SwaminathanF07

download as .bib file

@inproceedings{DBLP:conf/time/SwaminathanF07,
  author    = {Mani Swaminathan and
               Martin Fr{\"{a}}nzle},
  title     = {A Symbolic Decision Procedure for Robust Safety of Timed Systems},
  booktitle = {{TIME}},
  pages     = {192},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics