Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science)
by Mark D. Ryan,Brigitte Rozoy,Franck Cassez,Claude Jard
ISBN 13: 9783540427872
Format: Paperback (244 pages) Publisher: Springer Published: 24 Oct 2001
Save for later