Formal Techniques for Distributed Systems

MLA

Hatcliff, John, et al. Formal Techniques for Distributed Systems. Springer Berlin Heidelberg, 2010.

APA

Hatcliff, J., Kanade, T., Zucca, E., & Kittler, J. (2010). Formal Techniques for Distributed Systems. Springer Berlin Heidelberg.

Chicago

Hatcliff, John, Takeo Kanade, Elena Zucca, and Josef Kittler. Formal Techniques for Distributed Systems. : Springer Berlin Heidelberg, 2010.