Interface simulation distances

Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna. Interface simulation distances. Theoretical Computer Science, 560:348-363, 2014. [doi]

Authors

Pavol Cerný

This author has not been identified. Look up 'Pavol Cerný' in Google

Martin Chmelik

This author has not been identified. Look up 'Martin Chmelik' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Arjun Radhakrishna

This author has not been identified. Look up 'Arjun Radhakrishna' in Google