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 (17η εκδ.)SpringerLink (Online service), Franck Cassez, Claude Jard, Brigitte Rozoy, και 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 εκδ.)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.
