BibTeX record conf/IEEEcca/DuggiralaFPQM0B16

download as .bib file

@inproceedings{DBLP:conf/IEEEcca/DuggiralaFPQM0B16,
  author    = {Parasara Sridhar Duggirala and
               Chuchu Fan and
               Matthew Potok and
               Bolun Qi and
               Sayan Mitra and
               Mahesh Viswanathan and
               Stanley Bak and
               Sergiy Bogomolov and
               Taylor T. Johnson and
               Luan Viet Nguyen and
               Christian Schilling and
               Andrew Sogokon and
               Hoang{-}Dung Tran and
               Weiming Xiang},
  title     = {Tutorial: Software tools for hybrid systems verification, transformation,
               and synthesis: C2E2, HyST, and TuLiP},
  booktitle = {2016 {IEEE} Conference on Control Applications, {CCA} 2016, Buenos
               Aires, Argentina, September 19-22, 2016},
  pages     = {1024--1029},
  year      = {2016},
  crossref  = {DBLP:conf/IEEEcca/2016},
  url       = {https://doi.org/10.1109/CCA.2016.7587948},
  doi       = {10.1109/CCA.2016.7587948},
  timestamp = {Sat, 16 Sep 2017 12:12:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/DuggiralaFPQM0B16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEcca/2016,
  title     = {2016 {IEEE} Conference on Control Applications, {CCA} 2016, Buenos
               Aires, Argentina, September 19-22, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7581720},
  isbn      = {978-1-5090-0755-4},
  timestamp = {Mon, 24 Oct 2016 16:34:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEcca/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier