%0 Conference Paper %1 conf/cpsweek/BaeKG15 %A Bae, Kyungmin %A Kong, Soonho %A Gao, Sicun %B ARCH@CPSWeek %D 2015 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 188-195 %T SMT Encoding of Hybrid Systems in dReal. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#BaeKG15 %V 34

@inproceedings{conf/cpsweek/BaeKG15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Bae, Kyungmin and Kong, Soonho and Gao, Sicun}, biburl = {https://www.bibsonomy.org/bibtex/27a3df0b6961265294fc9939d29516c6c/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2014-15arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/s3b9}, interhash = {aa32323a7112a0233645eab619ebb944}, intrahash = {7a3df0b6961265294fc9939d29516c6c}, keywords = {dblp}, pages = {188-195}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {SMT Encoding of Hybrid Systems in dReal.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2014-15.html#BaeKG15}, volume = 34, year = 2015 }