| 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 · Jozef Hooman · Yassine Lakhnech · Mannes Poel · Job Zwiers |
Ulrich Hahnemann · Ulrich Hannemann · Ulrich Heinemann · Ulrike Hanemann · Ulrike Hennemann