Formal Methods for Open Object-Based Distributed Systems

MLA

Kanade, Takeo, et al. Formal Methods for Open Object-based Distributed Systems. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., Steffen, M., Zavattaro, G., & Kittler, J. (2005). Formal Methods for Open Object-Based Distributed Systems. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, Martin Steffen, Gianluigi Zavattaro, and Josef Kittler. Formal Methods for Open Object-Based Distributed Systems. : Springer Berlin / Heidelberg, 2005.