Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 /

Bibliographic Details
Corporate Author: International Conference on Formal Methods for Open Object-Based Distributed Systems Enschede, The Netherlands
Other Authors: Jacobs, Bart (ed.), Rensink, Arend (ed.)
Format: Conference Proceeding Book
Language:English
Published: Boston : Kluwer, 2002.
Series:International Federation for Information Processing ; no. 81
Subjects: