Formal Methods for Open Object-Based Distributed Systems

MLA

Bonsangue, Marcello M, et al. Formal Methods for Open Object-based Distributed Systems. Springer Berlin Heidelberg, 2007.

APA

Bonsangue, M. M, Hutchison, D., Johnsen, E. Broch, Kanade, T., & Kittler, J. (2007). Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg.

Chicago

Bonsangue, Marcello M., David Hutchison, Einar Broch Johnsen, Takeo Kanade, and Josef Kittler. Formal Methods for Open Object-Based Distributed Systems. : Springer Berlin Heidelberg, 2007.