BibTeX record conf/amcc/ArechigaLPK12

download as .bib file

@inproceedings{DBLP:conf/amcc/ArechigaLPK12,
  author    = {Nikos Ar{\'{e}}chiga and
               Sarah M. Loos and
               Andr{\'{e}} Platzer and
               Bruce H. Krogh},
  title     = {Using theorem provers to guarantee closed-loop system properties},
  booktitle = {American Control Conference, {ACC} 2012, Montreal, QC, Canada, June
               27-29, 2012},
  pages     = {3573--3580},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/document/6315388/},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/amcc/ArechigaLPK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics