Minimization Algorithm for Symbolic Bisimilarity

Additional Metadata
Publisher	Springer
Editor	G. Castagna
Persistent URL	doi.org/10.1007/978-3-642-00590-9_20
Series	Lecture Notes in Computer Science
Conference	European Symposium on Programming
Note	ESOP, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bonchi, F., & Montanari, U. (2009). Minimization Algorithm for Symbolic Bisimilarity. In G. Castagna (Ed.), Proceedings of European Symposium on Programming 2009 (18) (pp. 267–284). Springer. doi:10.1007/978-3-642-00590-9_20

Publication