R. Lassaigne

Identifiers

• name variant R. Lassaigne 0.60 · backfill

Papers (1)

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

Mentions

• 1304.5199 #2 · backfill · confidence 0.70 R. Lassaigne

Frequent Coauthors

• F. Magniez 1 shared papers
• M.C. Gaudel 1 shared papers
• M. de Rougemont 1 shared papers