Antoine Durand-Gasselin

Identifiers

• name variant Antoine Durand-Gasselin 0.60 · backfill

Papers (1)

1. Model Checking Parameterized Asynchronous Shared-Memory Systems cs.DC · 2015 · author #1

Mentions

• 1505.06588 #1 · backfill · confidence 0.70 Antoine Durand-Gasselin

Frequent Coauthors

• Javier Esparza 1 shared papers
• Pierre Ganty 1 shared papers
• Rupak Majumdar 1 shared papers