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 BibTeX
Copyright © Sat May 16 23:30:44 2009
by Michael Ley (ley@uni-trier.de)
