| |
| 2001 | ||
|---|---|---|
| 2 | EE | Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001: 121-143 |
| 2000 | ||
| 1 | EE | Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN 2000: 123-145 |
| 1 | Jean-Michel Couvreur | [1] [2] |
| 2 | Denis Poitrenaud | [1] [2] |