Y. Thierry-Mieg

Identifiers

• name variant Y. Thierry-Mieg 0.60 · backfill

Papers (1)

1. Raw Report on the Model Checking Contest at Petri Nets 2012 cs.SE · 2012 · author #12

Mentions

• 1209.2382 #12 · backfill · confidence 0.70 Y. Thierry-Mieg

Frequent Coauthors

• A. Linard 1 shared papers
• C. Rohr 1 shared papers
• D. Buchs 1 shared papers
• E. Paviot-Adet 1 shared papers
• F. Kordon 1 shared papers
• F Pommereau 1 shared papers
• H. Wimmel 1 shared papers
• K. Wolf 1 shared papers
• L. Fronc 1 shared papers
• L.M. Hillah 1 shared papers
• M. Colange 1 shared papers
• N. Lohmann 1 shared papers
• S. Evangelista 1 shared papers