Interface simulation distances

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

Abstract

Abstract is missing.