%0 Conference Paper %1 conf/esop/BonchiM09 %A Bonchi, Filippo %A Montanari, Ugo %B ESOP %D 2009 %E Castagna, Giuseppe %I Springer %K dblp %P 267-284 %T Minimization Algorithm for Symbolic Bisimilarity. %U http://dblp.uni-trier.de/db/conf/esop/esop2009.html#BonchiM09 %V 5502 %@ 978-3-642-00589-3

@inproceedings{conf/esop/BonchiM09, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bonchi, Filippo and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/287935c3010b60b275769d35762d689fe/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2009}, editor = {Castagna, Giuseppe}, ee = {https://doi.org/10.1007/978-3-642-00590-9_20}, interhash = {9d5f16d57a25db19d9d6cfcb81adb4d8}, intrahash = {87935c3010b60b275769d35762d689fe}, isbn = {978-3-642-00589-3}, keywords = {dblp}, pages = {267-284}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:33:39.000+0200}, title = {Minimization Algorithm for Symbolic Bisimilarity.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2009.html#BonchiM09}, volume = 5502, year = 2009 }