BibTeX record conf/date/BuXRYWL19

download as .bib file

@inproceedings{DBLP:conf/date/BuXRYWL19,
  author    = {Lei Bu and
               Shaopeng Xing and
               Xinyue Ren and
               Yang Yang and
               Qixin Wang and
               Xuandong Li},
  title     = {Incremental Online Verification of Dynamic Cyber-Physical Systems},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages     = {782--787},
  year      = {2019},
  crossref  = {DBLP:conf/date/2019},
  url       = {https://doi.org/10.23919/DATE.2019.8715003},
  doi       = {10.23919/DATE.2019.8715003},
  timestamp = {Tue, 23 Jul 2019 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BuXRYWL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2019,
  editor    = {J{\"{u}}rgen Teich and
               Franco Fummi},
  title     = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2019, Florence, Italy, March 25-29, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8704855},
  isbn      = {978-3-9819263-2-3},
  timestamp = {Tue, 23 Jul 2019 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics