BibTeX record conf/compsac/SirjaniLK20

download as .bib file

@inproceedings{DBLP:conf/compsac/SirjaniLK20,
  author    = {Marjan Sirjani and
               Edward A. Lee and
               Ehsan Khamespanah},
  title     = {Model Checking Software in Cyberphysical Systems},
  booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
               {COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
  pages     = {1017--1026},
  publisher = {{IEEE}},
  year      = {2020},
  url       = {https://doi.org/10.1109/COMPSAC48688.2020.0-138},
  doi       = {10.1109/COMPSAC48688.2020.0-138},
  timestamp = {Tue, 29 Sep 2020 14:18:02 +0200},
  biburl    = {https://dblp.org/rec/conf/compsac/SirjaniLK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics