TY  - RPRT
TI  - Interface Simulation Distances
AU  - Pavol Černý
AU  - Martin Chmelík
AU  - Thomas A. Henzinger
AU  - Arjun Radhakrishna
PY  - 2012
DO  - 10.4204/eptcs.96.3
UR  - https://arxiv.org/abs/1210.2450
ID  - 1210.2450
ER  -