Formal Techniques for Distributed Systems

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Michele Boreale, and Josef Kittler. Formal Techniques for Distributed Systems. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Boreale, M., & Kittler, J. (2013). Formal Techniques for Distributed Systems. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Michele Boreale, and Josef Kittler. Formal Techniques for Distributed Systems. : Springer Berlin Heidelberg, 2013.