Mieke Massink (CNR/ISTI

Identifiers

• name variant Mieke Massink (CNR/ISTI 0.60 · backfill

Papers (1)

1. A Definition Scheme for Quantitative Bisimulation cs.LO · 2015 · author #3

Mentions

• 1509.08563 #3 · backfill · confidence 0.70 Mieke Massink (CNR/ISTI

Frequent Coauthors

• Diego Latella (CNR/ISTI 1 shared papers
• Eindhoven) 1 shared papers
• Erik de Vink (TU/e 1 shared papers
• Pisa) 1 shared papers