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. Springer 2001 Lecture Notes in Computer Science 2067 ISBN 3-540-42787-2 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team