Formal Methods for Open Object-Based Distributed Systems - Bonsangue, Marcello M.; Hutchison, David; Johnsen, Einar Broch; Kanade, Takeo; IFIP Working Group 6.1.; Kittler, Josef (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Computer Science (Hardware & Networks)