@Inproceedings{EPTCS96.4, author = {Lange, Martin and Lozes, Etienne and Vargas Guzm\'an, Manuel}, year = {2012}, title = {Model-Checking Process Equivalences}, editor = {Faella, Marco and Murano, Aniello}, booktitle = {{\rm Proceedings Third International Symposium on} Games, Automata, Logics and Formal Verification , {\rm Napoli, Italy, September 6-8, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {96}, publisher = {Open Publishing Association}, pages = {43-56}, doi = {10.4204/EPTCS.96.4}, }