Formal Techniques for Distributed Systems

MLA

Bruni, Roberto, et al. Formal Techniques for Distributed Systems. Springer Berlin Heidelberg, 2011.

APA

Bruni, R., Dingel, J., Kanade, T., & Kittler, J. (2011). Formal Techniques for Distributed Systems. Springer Berlin Heidelberg.

Chicago

Bruni, Roberto, Juergen Dingel, Takeo Kanade, and Josef Kittler. Formal Techniques for Distributed Systems. : Springer Berlin Heidelberg, 2011.