1.
, . Modeling and verification of parallel processes. Berlin: Springer; 2024.
et . Modeling and verification of parallel processes. Berlin : Springer, 14 juin 2024. ISBN 3-540-42787-2
MOVEP 2000 Nantes, France 2000, & Cassez Franck. (2001). Modeling and verification of parallel processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Springer.
MLA (8th ed.) CitationMOVEP 2000 Nantes, France 2000, and Cassez Franck. 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.