BibTeX record conf/compsac/CiraciFDMC14

download as .bib file

@inproceedings{DBLP:conf/compsac/CiraciFDMC14,
  author       = {Selim Ciraci and
                  Jason C. Fuller and
                  Jeff A. Daily and
                  Atefe Makhmalbaf and
                  David Callahan},
  title        = {A Runtime Verification Framework for Control System Simulation},
  booktitle    = {{IEEE} 38th Annual Computer Software and Applications Conference,
                  {COMPSAC} 2014, Vasteras, Sweden, July 21-25, 2014},
  pages        = {75--84},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/COMPSAC.2014.14},
  doi          = {10.1109/COMPSAC.2014.14},
  timestamp    = {Fri, 24 Mar 2023 00:01:44 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/CiraciFDMC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics