%0 Conference Paper %1 conf/hybrid/MurthyISG15 %A Murthy, Abhishek %A Islam, Md. Ariful %A Smolka, Scott A. %A Grosu, Radu %B HSCC %D 2015 %E Girard, Antoine %E Sankaranarayanan, Sriram %I ACM %K dblp %P 78-87 %T Computing bisimulation functions using SOS optimization and δ-decidability over the reals. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#MurthyISG15 %@ 978-1-4503-3433-4

@inproceedings{conf/hybrid/MurthyISG15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Murthy, Abhishek and Islam, Md. Ariful and Smolka, Scott A. and Grosu, Radu}, biburl = {https://www.bibsonomy.org/bibtex/2cf93c2d534513db34c8b41f6a64cecad/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2015}, editor = {Girard, Antoine and Sankaranarayanan, Sriram}, ee = {https://doi.org/10.1145/2728606.2728609}, interhash = {7d55c43feec89c80ed33c78640759923}, intrahash = {cf93c2d534513db34c8b41f6a64cecad}, isbn = {978-1-4503-3433-4}, keywords = {dblp}, pages = {78-87}, publisher = {ACM}, timestamp = {2019-09-07T11:41:00.000+0200}, title = {Computing bisimulation functions using SOS optimization and δ-decidability over the reals.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#MurthyISG15}, year = 2015 }