| Original language | English |
|---|---|
| Pages (from-to) | 625-627 |
| Number of pages | 3 |
| Journal | Journal of Logic and Computation |
| Volume | 13 |
| Issue number | 4 |
| Publication status | Published - 2003 |
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.)
Research output: Contribution to journal › Article