Matteo Mio (LIX
Identifiers
- name variant Matteo Mio (LIX 0.60 · backfill
Papers (2)
- Probabilistic modal {\mu}-calculus with independent product cs.LO · 2012 · author #1
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus cs.LO · 2012 · author #1
Mentions
Frequent Coauthors
- Ecole Polytechnique) 2 shared papers