VU University Amsterdam)

Identifiers

• name variant VU University Amsterdam) 0.60 · backfill

Papers (2)

1. SOS rule formats for convex and abstract probabilistic bisimulations cs.LO · 2015 · author #6
2. Compositionality of Approximate Bisimulation for Probabilistic Systems cs.LO · 2013 · author #2

Mentions

• 1307.7442 #2 · backfill · confidence 0.70 VU University Amsterdam)

Frequent Coauthors

• Daniel Gebler (Department of Computer Science 2 shared papers
• Matias David Lee (Famaf 1 shared papers
• Pedro R. D'Argenio (Famaf 1 shared papers
• Simone Tini (Department of Scienza e Alta Tecnologia 1 shared papers
• Universidad Nacional de C\'ordoba - CONICET) 1 shared papers
• University of Insubria) 1 shared papers