| 1997 | ||
|---|---|---|
| 3 | François Vernadat, François Michel: Covering Step Graph Preserving Failure Semantics. ICATPN 1997: 253-270 | |
| 1996 | ||
| 2 | François Vernadat, Pierre Azéma, François Michel: Covering Step Graph. Application and Theory of Petri Nets 1996: 516-535 | |
| 1 | François Michel, Pierre Azéma, François Vernadat: Permutable Agents in Process Algebras. TACAS 1996: 187-206 | |
| 1 | Pierre Azéma | [1] [2] |
| 2 | François Vernadat | [1] [2] [3] |