BibTeX record conf/IEEEcca/DuggiralaFPQM0B16

• > Home > conf/IEEEcca/DuggiralaFPQM0B16

@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},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CCA.2016.7587948},
  doi          = {10.1109/CCA.2016.7587948},
  timestamp    = {Mon, 08 Apr 2024 20:42:04 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEcca/DuggiralaFPQM0B16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}