Modeling and Verification of Parallel Processes
Subtitle: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Publisher: Springer London, Limited
Published: 2003
Language: eng
Number of pages: 234
ISBN-13: 9783540455103