MPG.eBooks - Author Search Results

Cover Image

1

Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

by Cassez, Franck
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Ryan, Mark Dermot...”