MOVEP 2000 Nantes, France, SpringerLink (Online service), & Cassez, F. (2001). Modeling and verification of parallel processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures. Springer.
Chicago Style (17th ed.) CitationMOVEP 2000 Nantes, France, SpringerLink (Online service), and Franck Cassez. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : Revised Tutorial Lectures. Berlin ; New York: Springer, 2001.
MLA (9th ed.) CitationMOVEP 2000 Nantes, France, et al. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : Revised Tutorial Lectures. Springer, 2001.
Warning: These citations may not always be 100% accurate.