Simone Tini -

Not registered as user yet

Name:Simone Tini

Affiliation:University of Insubria

Personal website: https://disat.uninsubria.it/~simone.tini/

Contributions

2019

OPCT

Author of Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization within the OPCT 2019-track