pith. sign in

Emmanuel Haucourt (CEA LIST)

Identifiers

  • name variant Emmanuel Haucourt (CEA LIST) 0.60 · backfill

Papers (1)

  1. Trace Spaces: an Efficient New Technique for State-Space Reduction cs.DC · 2012 · author #3

Mentions

  • 1204.0414 #3 · backfill · confidence 0.70 Emmanuel Haucourt (CEA LIST)

Frequent Coauthors