Najm, Elie
[Editor];
Stefani, Jean-Bernard
[Other]
;
International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks,
International Workshop on Formal Methods for Open Object Based Distributed Systems 1 1996 Paris
Formal methods for open object-based distributed systems
- [1. ed.]