D. Buchs
Identifiers
- name variant D. Buchs 0.60 · backfill
Papers (1)
- Raw Report on the Model Checking Contest at Petri Nets 2012 cs.SE · 2012 · author #3
Mentions
- 1209.2382 #3 · backfill · confidence 0.70 D. Buchs
Frequent Coauthors
- A. Linard 1 shared papers
- C. Rohr 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
- Y. Thierry-Mieg 1 shared papers