BibTeX record conf/cdc/DInnocenzoJPBG07

• > Home > conf/cdc/DInnocenzoJPBG07

@inproceedings{DBLP:conf/cdc/DInnocenzoJPBG07,
  author       = {Alessandro D'Innocenzo and
                  A. Agung Julius and
                  George J. Pappas and
                  Maria Domenica Di Benedetto and
                  Stefano Di Gennaro},
  title        = {Verification of temporal properties on hybrid automata by simulation
                  relations},
  booktitle    = {46th {IEEE} Conference on Decision and Control, {CDC} 2007, New Orleans,
                  LA, USA, December 12-14, 2007},
  pages        = {4039--4044},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/CDC.2007.4434716},
  doi          = {10.1109/CDC.2007.4434716},
  timestamp    = {Thu, 23 Jun 2022 19:55:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/DInnocenzoJPBG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}