%0 Conference Paper %1 conf/hybrid/PrajnaJ04 %A Prajna, Stephen %A Jadbabaie, Ali %B HSCC %D 2004 %E Alur, Rajeev %E Pappas, George J. %I Springer %K dblp %P 477-492 %T Safety Verification of Hybrid Systems Using Barrier Certificates. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2004.html#PrajnaJ04 %V 2993 %@ 3-540-21259-0

@inproceedings{conf/hybrid/PrajnaJ04, added-at = {2017-05-25T00:00:00.000+0200}, author = {Prajna, Stephen and Jadbabaie, Ali}, biburl = {https://www.bibsonomy.org/bibtex/2041d188d2e2b3cb7829d77a7ac5725a9/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2004}, editor = {Alur, Rajeev and Pappas, George J.}, ee = {https://doi.org/10.1007/978-3-540-24743-2_32}, interhash = {01287de6bdf8e09dfe948956ceb2eed7}, intrahash = {041d188d2e2b3cb7829d77a7ac5725a9}, isbn = {3-540-21259-0}, keywords = {dblp}, pages = {477-492}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:52:13.000+0200}, title = {Safety Verification of Hybrid Systems Using Barrier Certificates.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2004.html#PrajnaJ04}, volume = 2993, year = 2004 }