Matias D. Lee (FaMAF

Identifiers

• name variant Matias D. Lee (FaMAF 0.60 · backfill

Papers (1)

1. Rooted branching bisimulation as a congruence for probabilistic transition systems cs.LO · 2015 · author #1

Mentions

• 1509.08564 #1 · backfill · confidence 0.70 Matias D. Lee (FaMAF

Frequent Coauthors

• Cordoba) 1 shared papers
• Eindhoven) 1 shared papers
• Erik P. de Vink (TU/e 1 shared papers
• UNC-CONICET 1 shared papers