BibTeX record conf/ifipTCS/SwaminathanFK08

download as .bib file

@inproceedings{DBLP:conf/ifipTCS/SwaminathanFK08,
  author    = {Mani Swaminathan and
               Martin Fr{\"{a}}nzle and
               Joost{-}Pieter Katoen},
  editor    = {Giorgio Ausiello and
               Juhani Karhum{\"{a}}ki and
               Giancarlo Mauri and
               C.{-}H. Luke Ong},
  title     = {The Surprising Robustness of (Closed) Timed Automata against Clock-Drift},
  booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
               - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
               of Computer Science, September 7-10, 2008, Milano, Italy},
  series    = {{IFIP}},
  volume    = {273},
  pages     = {537--553},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-0-387-09680-3\_36},
  doi       = {10.1007/978-0-387-09680-3\_36},
  timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl    = {https://dblp.org/rec/conf/ifipTCS/SwaminathanFK08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics