VANCOUVER Edition Citation

1.
, . Modeling and verification of parallel processes. Berlin: Springer; 2024.

ISO690 Edition Citation

et . Modeling and verification of parallel processes. Berlin : Springer, 14 juin 2024. ISBN 3-540-42787-2

APA (7th ed.) Citation

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.) Citation

MOVEP 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.