Modeling and Verification of Parallel Processes (MOVEP)
MOVEP 2000: Nantes, France
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.):
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000.
Lecture Notes in Computer Science 2067 Springer 2001, ISBN 3-540-42787-2
Contents 
Copyright © Fri Dec 18 18:39:54 2009
by Michael Ley (ley@uni-trier.de)
