%0 Conference Paper %1 conf/emsoft/ZengLYCW16 %A Zeng, Xia %A Lin, Wang %A Yang, Zhengfeng %A Chen, Xin %A Wang, Lilei %B EMSOFT %D 2016 %E Eles, Petru %E Mangharam, Rahul %I ACM %K dblp %P 11:1-11:10 %T Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2016.html#ZengLYCW16 %@ 978-1-4503-4485-2

@inproceedings{conf/emsoft/ZengLYCW16, added-at = {2022-06-23T00:00:00.000+0200}, author = {Zeng, Xia and Lin, Wang and Yang, Zhengfeng and Chen, Xin and Wang, Lilei}, biburl = {https://www.bibsonomy.org/bibtex/2bf4cc58d8c10fa3dec3f9bb1443d788a/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2016}, editor = {Eles, Petru and Mangharam, Rahul}, ee = {https://doi.org/10.1145/2968478.2968484}, interhash = {f0c8545ba04178d3148bdbf2ae0c08d1}, intrahash = {bf4cc58d8c10fa3dec3f9bb1443d788a}, isbn = {978-1-4503-4485-2}, keywords = {dblp}, pages = {11:1-11:10}, publisher = {ACM}, timestamp = {2024-04-10T12:22:32.000+0200}, title = {Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2016.html#ZengLYCW16}, year = 2016 }