"Logical Characterization of Bisimulation Metrics."

Valentina Castiglioni, Daniel Gebler, Simone Tini (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics