Results
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
Download Product Archive File - 978-3-540-45510-3