| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Concurrency Verification: Introduction to Compositional and Non-compositional Methods | 978-O-521-8O6O8-4 (O-521-8O6O8-9) | 2001 | Willem-Paul de Roever · Frank de Boer · Ulrich Hanneman · Jozef Hooman · Yassine Lakhnech · Job Zwiers |
M P · Manisha Pal · Manoj Pal · Mongeau Paule · Monica Palla · Monica Pelloia · Monica Poole · Monica Powell · Monika Paul · Monika Peel · Monika Phulia · Monika Piel · Monika Pohl · Monika Pohle · Monika Puhl