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] |