Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.

Ruggero Lanotte, Simone Tini

Browse the full ICTAC paper archive.