| |
| 2007 | ||
|---|---|---|
| 3 | EE | Guillaume Feuillade, Sophie Pinchinat: Modal Specifications for the Control Theory of Discrete Event Systems. Discrete Event Dynamic Systems 17(2): 211-232 (2007) |
| 2004 | ||
| 2 | EE | Guillaume Feuillade, Thomas Genet, Valérie Viet Triem Tong: Reachability Analysis over Term Rewriting Systems. J. Autom. Reasoning 33(3-4): 341-383 (2004) |
| 2003 | ||
| 1 | EE | Guillaume Feuillade, Thomas Genet: Reachability in Conditional Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 1 | Thomas Genet | [1] [2] |
| 2 | Sophie Pinchinat | [3] |
| 3 | Valérie Viet Triem Tong | [2] |