BibTeX record conf/IEEEcca/DuggiralaFPQM0B16

download as .bib file

  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       = {},
  doi       = {10.1109/CCA.2016.7587948},
  timestamp = {Sat, 04 Jan 2020 19:01:37 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics