M. de Rougemont

Identifiers

• name variant M. de Rougemont 0.60 · backfill

Papers (1)

1. Some approximations in Model Checking and Testing cs.LO · 2013 · author #4

Mentions

• 1304.5199 #4 · backfill · confidence 0.70 M. de Rougemont

Frequent Coauthors

• F. Magniez 1 shared papers
• M.C. Gaudel 1 shared papers
• R. Lassaigne 1 shared papers