M. de Rougemont
Identifiers
- name variant M. de Rougemont 0.60 · backfill
Papers (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