M.C. Gaudel

Identifiers

• name variant M.C. Gaudel 0.60 · backfill

Papers (1)

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