Extra Materials Archive

Book cover

Modeling and Verification of Parallel Processes

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

© 2001

Soft cover - Print (ISBN: 978-3-540-42787-2)

Electronic (ISBN: 978-3-540-45510-3)

View this book on SpringerLink

Extra Materials File 978-3-540-45510-3