APA (7th ed.) Citation

SpringerLink (Online service), Cassez, F., Jard, C., Rozoy, B., & Ryan, M. D. (2001). Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures (1st ed. 2001.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-45510-8

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Franck Cassez, Claude Jard, Brigitte Rozoy, and Mark D. Ryan. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2001. https://doi.org/10.1007/3-540-45510-8.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures. 1st ed. 2001. Springer Berlin Heidelberg : Imprint: Springer, 2001. https://doi.org/10.1007/3-540-45510-8.