1.
Concurrency verification. Cambridge: Cambridge University press; 2024.
Concurrency verification. Cambridge : Cambridge University press, 21 mai 2024. ISBN 0-521-80608-9
(2001). Concurrency verification: Introduction to compositional and noncompositional methods. Cambridge University press.
Style de citation MLA (8e éd.)Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge University press, 2001.
Attention : ces citations peuvent ne pas être correctes à 100%.