Remi Bonnet (LSV
Identifiers
- name variant Remi Bonnet (LSV 0.60 · backfill
Papers (1)
- Reachability under Contextual Locking cs.LO · 2013 · author #1
Mentions
- 1308.2349 #1 · backfill · confidence 0.70 Remi Bonnet (LSV
Frequent Coauthors
- CNRS) 1 shared papers
- ENS Cachan 1 shared papers
- Mahesh Viswanathan (University of Illinois) 1 shared papers
- P. Madhusudan (University of Illinois) 1 shared papers
- Rohit Chadha (University of Missouri) 1 shared papers