Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

Main Author: Cassez, Franck
Other Authors: Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540455103
978-3-540-42787-2