| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods for Distributed System Development | 978-0-7923-7968-3 (0-7923-7968-3) | 2000 | Diego Latella |
T. B. · Tannis Blackman · Thomas Ballhausen · Thomas Balsamo · Thomas Balzen · Thomas Bliesener · Thomas Blisniewski