%0 Conference Paper %1 conf/icalp/CrafaR11 %A Crafa, Silvia %A Ranzato, Francesco %B ICALP (2) %D 2011 %E Aceto, Luca %E Henzinger, Monika %E Sgall, Jirí %I Springer %K dblp %P 295-306 %T Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2011-2.html#CrafaR11 %V 6756 %@ 978-3-642-22011-1

@inproceedings{conf/icalp/CrafaR11, added-at = {2017-05-23T00:00:00.000+0200}, author = {Crafa, Silvia and Ranzato, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/21f6218b8db8cd354950ebfaf6574f5d6/dblp}, booktitle = {ICALP (2)}, crossref = {conf/icalp/2011-2}, editor = {Aceto, Luca and Henzinger, Monika and Sgall, Jirí}, ee = {https://doi.org/10.1007/978-3-642-22012-8_23}, interhash = {a4ce0667699497a59ce1f333e59b559e}, intrahash = {1f6218b8db8cd354950ebfaf6574f5d6}, isbn = {978-3-642-22011-1}, keywords = {dblp}, pages = {295-306}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:29:01.000+0200}, title = {Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2011-2.html#CrafaR11}, volume = 6756, year = 2011 }