MOVEP 2000 : 2000 : Nantes, France, & Cassez, F. (2001). Modeling and verification of parallel processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Springer.
Chicago Style (17th ed.) CitationMOVEP 2000 : 2000 : Nantes, France, and Franck Cassez. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Berlin: Springer, 2001.
MLA (8th ed.) CitationMOVEP 2000 : 2000 : Nantes, France, and Franck Cassez. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Springer, 2001.
Warning: These citations may not always be 100% accurate.