| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... and Communication Technology) | 978-O-7923-7923-2 (O-7923-7923-3) | 2000 | Scott F. Smith |
C L · C. T. · Carolyn Talcott