Formal methods for open object-based distributed systems：7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (7th 2005 Athens, Greece); IFIP Working Group 6.1.
Group Author: Steffen Martin.; Zavattaro Gianluigi.
Published: Springer,
Publication Dates: c2005.
Call Number: TP338.8-532/I615/2005