Formal methods for open object-based distributed systems
Titel Supplements
IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS), February 15 - 18, 1999, Florence, Italy
Institut
International Federation for Information Processing -IFIP-, Working Group 6.1 Architecture and Protocols for Computer Networks