%0 Conference Paper %1 conf/cpsweek/SogokonGJ16 %A Sogokon, Andrew %A Ghorbal, Khalil %A Johnson, Taylor T. %B ARCH@CPSWeek %D 2016 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K %P 42-51 %T Non-linear Continuous Systems for Safety Verification. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2016.html#SogokonGJ16 %V 43

@inproceedings{conf/cpsweek/SogokonGJ16, added-at = {2023-12-13T02:08:06.000+0100}, author = {Sogokon, Andrew and Ghorbal, Khalil and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/24443d43e9110602d6fae765493c7a16f/admin}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2016arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://easychair.org/publications/paper/zr5C}, interhash = {7b59ada738bc7396f5b90d7c2d712469}, intrahash = {4443d43e9110602d6fae765493c7a16f}, keywords = {}, pages = {42-51}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-13T02:08:06.000+0100}, title = {Non-linear Continuous Systems for Safety Verification.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2016.html#SogokonGJ16}, volume = 43, year = 2016 }