Formal Methods for Open Object-Based Distributed Systems

MLA

Barthe, Gilles, et al. Formal Methods for Open Object-based Distributed Systems. Springer Berlin Heidelberg, 2008.

APA

Barthe, G., Boer, F. S, Boer, F. S. de, Kanade, T., & Kittler, J. (2008). Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg.

Chicago

Barthe, Gilles, Frank S Boer, Frank S. de Boer, Takeo Kanade, and Josef Kittler. Formal Methods for Open Object-Based Distributed Systems. : Springer Berlin Heidelberg, 2008.