%0 Conference Paper %1 conf/cav/PrabhakarS15 %A Prabhakar, Pavithra %A Soto, Miriam Garcia %B SNR@CAV %D 2015 %E Bogomolov, Sergiy %E Tiwari, Ashish %I EasyChair %K dblp %P 32-39 %T An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. %U http://dblp.uni-trier.de/db/conf/cav/snr2015.html#PrabhakarS15 %V 37

@inproceedings{conf/cav/PrabhakarS15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Prabhakar, Pavithra and Soto, Miriam Garcia}, biburl = {https://www.bibsonomy.org/bibtex/2fd89142c14617fae761229164a8e0466/dblp}, booktitle = {SNR@CAV}, crossref = {conf/cav/2015snr}, editor = {Bogomolov, Sergiy and Tiwari, Ashish}, ee = {https://doi.org/10.29007/sj95}, interhash = {1957ef0eb31a06cb8c83642373645bef}, intrahash = {fd89142c14617fae761229164a8e0466}, keywords = {dblp}, pages = {32-39}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:51.000+0200}, title = {An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary.}, url = {http://dblp.uni-trier.de/db/conf/cav/snr2015.html#PrabhakarS15}, volume = 37, year = 2015 }