dblp.uni-trier.dewww.uni-trier.de

François Michel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)