Formal Methods for Open Object-Based Distributed Systems

MLA

Gorrieri, Roberto, et al. Formal Methods for Open Object-based Distributed Systems. Springer Berlin / Heidelberg, 2006.

APA

Gorrieri, R., Kanade, T., Wehrheim, H., & Kittler, J. (2006). Formal Methods for Open Object-Based Distributed Systems. Springer Berlin / Heidelberg.

Chicago

Gorrieri, Roberto, Takeo Kanade, Heike Wehrheim, and Josef Kittler. Formal Methods for Open Object-Based Distributed Systems. : Springer Berlin / Heidelberg, 2006.