Universidad Nacional de C\'ordoba - CONICET)
Identifiers
- name variant Universidad Nacional de C\'ordoba - CONICET) 0.60 · backfill
Papers (1)
- SOS rule formats for convex and abstract probabilistic bisimulations cs.LO · 2015 · author #2
Mentions
- 1508.06710 #2 · backfill · confidence 0.70 Universidad Nacional de C\'ordoba - CONICET)
Frequent Coauthors
- Daniel Gebler (Department of Computer Science 1 shared papers
- Matias David Lee (Famaf 1 shared papers
- Pedro R. D'Argenio (Famaf 1 shared papers
- VU University Amsterdam) 1 shared papers