@Inproceedings{EPTCS96.3, author = {\v{C}ern\'y, Pavol and Chmel\'ik, Martin and Henzinger, Thomas A. and Radhakrishna, Arjun}, year = {2012}, title = {Interface Simulation Distances}, 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 = {29-42}, doi = {10.4204/EPTCS.96.3}, }