Remi Bonnet (LSV

Identifiers

• name variant Remi Bonnet (LSV 0.60 · backfill

Papers (1)

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