%0 Conference Paper %1 conf/emsoft/ArechigaKDPK15 %A Aréchiga, Nikos %A Kapinski, James %A Deshmukh, Jyotirmoy V. %A Platzer, André %A Krogh, Bruce H. %B EMSOFT %D 2015 %E Girault, Alain %E Guan, Nan %I IEEE %K dblp %P 227-236 %T Forward invariant cuts to simplify proofs of safety. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2015.html#ArechigaKDPK15 %@ 978-1-4673-8079-9

@inproceedings{conf/emsoft/ArechigaKDPK15, added-at = {2019-09-05T00:00:00.000+0200}, author = {Aréchiga, Nikos and Kapinski, James and Deshmukh, Jyotirmoy V. and Platzer, André and Krogh, Bruce H.}, biburl = {https://www.bibsonomy.org/bibtex/260242e3cd24a82e11a79fdf3fdd4c63b/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2015}, editor = {Girault, Alain and Guan, Nan}, ee = {http://dl.acm.org/citation.cfm?id=2830890}, interhash = {d9a630998a567716c3434b6a914a5bce}, intrahash = {60242e3cd24a82e11a79fdf3fdd4c63b}, isbn = {978-1-4673-8079-9}, keywords = {dblp}, pages = {227-236}, publisher = {IEEE}, timestamp = {2019-10-17T22:01:19.000+0200}, title = {Forward invariant cuts to simplify proofs of safety.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2015.html#ArechigaKDPK15}, year = 2015 }