ISBN 9783540427872 books & textbook
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (Lecture Notes in Computer Science, 2067)
Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark D.
Springer /2001-10-24 Paperback / 244 Pages
isbn-10: 3540427872 / isbn-13: 9783540427872
