BibTeX record conf/cpsna/KonecnyTDDA13

download as .bib file

@inproceedings{DBLP:conf/cpsna/KonecnyTDDA13,
  author       = {Michal Konecn{\'{y}} and
                  Walid Taha and
                  Jan Duracz and
                  Adam Duracz and
                  Aaron D. Ames},
  title        = {Enclosing the behavior of a hybrid system up to and beyond a Zeno
                  point},
  booktitle    = {1st {IEEE} International Conference on Cyber-Physical Systems, Networks,
                  and Applications, {CPSNA} 2013, Taipei, Taiwan, August 19-20, 2013},
  pages        = {120--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/CPSNA.2013.6614258},
  doi          = {10.1109/CPSNA.2013.6614258},
  timestamp    = {Fri, 24 Mar 2023 00:03:18 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsna/KonecnyTDDA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics