%0 Conference Paper %1 conf/cav/PlakuKV07 %A Plaku, Erion %A Kavraki, Lydia E. %A Vardi, Moshe Y. %B CAV %D 2007 %E Damm, Werner %E Hermanns, Holger %I Springer %K dblp %P 463-476 %T Hybrid Systems: From Verification to Falsification. %U http://dblp.uni-trier.de/db/conf/cav/cav2007.html#PlakuKV07 %V 4590 %@ 978-3-540-73367-6

@inproceedings{conf/cav/PlakuKV07, added-at = {2023-09-30T00:00:00.000+0200}, author = {Plaku, Erion and Kavraki, Lydia E. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/29f135d7dc750acf30cbe58364414f7e9/dblp}, booktitle = {CAV}, crossref = {conf/cav/2007}, editor = {Damm, Werner and Hermanns, Holger}, ee = {https://doi.org/10.1007/978-3-540-73368-3_48}, interhash = {08e3e504a20e513e9cfc15156b8042b0}, intrahash = {9f135d7dc750acf30cbe58364414f7e9}, isbn = {978-3-540-73367-6}, keywords = {dblp}, pages = {463-476}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {Hybrid Systems: From Verification to Falsification.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2007.html#PlakuKV07}, volume = 4590, year = 2007 }