M.C. Gaudel
Identifiers
- name variant M.C. Gaudel 0.60 · backfill
Papers (1)
- Some approximations in Model Checking and Testing cs.LO · 2013 · author #1
Mentions
- 1304.5199 #1 · backfill · confidence 0.70 M.C. Gaudel
Frequent Coauthors
- F. Magniez 1 shared papers
- M. de Rougemont 1 shared papers
- R. Lassaigne 1 shared papers