%0 Conference Paper %1 conf/IEEEcca/DuggiralaFPQM0B16 %A Duggirala, Parasara Sridhar %A Fan, Chuchu %A Potok, Matthew %A Qi, Bolun %A Mitra, Sayan %A Viswanathan, Mahesh %A Bak, Stanley %A Bogomolov, Sergiy %A Johnson, Taylor T. %A Nguyen, Luan Viet %A Schilling, Christian %A Sogokon, Andrew %A Tran, Hoang-Dung %A Xiang, Weiming %B CCA %D 2016 %I IEEE %K %P 1024-1029 %T Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. %U http://dblp.uni-trier.de/db/conf/IEEEcca/IEEEcca2016.html#DuggiralaFPQM0B16 %@ 978-1-5090-0755-4

@inproceedings{conf/IEEEcca/DuggiralaFPQM0B16, added-at = {2023-12-13T02:29:25.000+0100}, author = {Duggirala, Parasara Sridhar and Fan, Chuchu and Potok, Matthew and Qi, Bolun and Mitra, Sayan and Viswanathan, Mahesh and Bak, Stanley and Bogomolov, Sergiy and Johnson, Taylor T. and Nguyen, Luan Viet and Schilling, Christian and Sogokon, Andrew and Tran, Hoang-Dung and Xiang, Weiming}, biburl = {https://www.bibsonomy.org/bibtex/21bc290f629443ded3645263a50aa331f/admin}, booktitle = {CCA}, crossref = {conf/IEEEcca/2016}, ee = {https://www.wikidata.org/entity/Q62037213}, interhash = {7fdcebda955459e2b2e5f92a29640f7c}, intrahash = {1bc290f629443ded3645263a50aa331f}, isbn = {978-1-5090-0755-4}, keywords = {}, pages = {1024-1029}, publisher = {IEEE}, timestamp = {2023-12-13T02:29:25.000+0100}, title = {Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.}, url = {http://dblp.uni-trier.de/db/conf/IEEEcca/IEEEcca2016.html#DuggiralaFPQM0B16}, year = 2016 }