| |
| 2008 | ||
|---|---|---|
| 2 | EE | Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens: Detecting model inconsistency through operation-based model construction. ICSE 2008: 511-520 |
| 2003 | ||
| 1 | EE | Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier: Automatic Symmetry Detection in Well-Formed Nets. ICATPN 2003: 82-101 |
| 1 | Xavier Blanc | [2] |
| 2 | Claude Dutheillet | [1] |
| 3 | Tom Mens | [2] |
| 4 | Alix Mougenot | [2] |
| 5 | Yann Thierry-Mieg | [1] |