• Sign in
  • Sign up
conf.researchr.org / Simone Tini
  • POPL 2019 profile
No Photo

Not registered as user

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
Share
xTue 20 May 06:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up