| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology) | 978-O-7923-7968-3 (O-7923-7968-3) | 2000 | Diego Latella |
T. B. · Tanja Bialojan · Tanja Blixen · Tannis Blackman · Thomas Ballhausen · Thomas Balsamo · Thomas Balzen · Thomas Belsham · Thomas Blackson · Thomas Bleskin · Thomas Bliesener · Thomas Blisniewski · Tomasz Blaszczynski