François Michel

	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

Coauthor Index

1	Pierre Azéma	[1] [2]
2	François Vernadat	[1] [2] [3]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page