%0 Conference Paper %1 conf/cdc/KekatosFF17 %A Kekatos, Nikolaos %A Forets, Marcelo %A Frehse, Goran %B CDC %D 2017 %I IEEE %K dblp %P 1788-1795 %T Constructing verification models of nonlinear Simulink systems via syntactic hybridization. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2017.html#KekatosFF17 %@ 978-1-5090-2873-3

@inproceedings{conf/cdc/KekatosFF17, added-at = {2020-12-29T00:00:00.000+0100}, author = {Kekatos, Nikolaos and Forets, Marcelo and Frehse, Goran}, biburl = {https://www.bibsonomy.org/bibtex/2281cff1ad6d04727516cd6540bc9a6ad/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2017}, ee = {https://doi.org/10.1109/CDC.2017.8263907}, interhash = {3c4a4f9eca8600f131921fe13799424f}, intrahash = {281cff1ad6d04727516cd6540bc9a6ad}, isbn = {978-1-5090-2873-3}, keywords = {dblp}, pages = {1788-1795}, publisher = {IEEE}, timestamp = {2024-04-09T15:18:52.000+0200}, title = {Constructing verification models of nonlinear Simulink systems via syntactic hybridization.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2017.html#KekatosFF17}, year = 2017 }