Formal Methods for Open Object-Based Distributed Systems - International Conference on Formal Methods for Open Object-Based Distributed Systems; Kanade, Takeo; Steffen, Martin; Zavattaro, Gianluigi; IFIP Working Group 6.1.; Kittler, Josef (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Computer Science (Hardware & Networks)