Formal Techniques for Distributed Systems

MLA

Lee, David, et al. Formal Techniques for Distributed Systems. Springer Berlin Heidelberg, 2009.

APA

Lee, D., Kanade, T., Lopes, A., & Poetzsch-Heffter, A. (2009). Formal Techniques for Distributed Systems. Springer Berlin Heidelberg.

Chicago

Lee, David, Takeo Kanade, Antónia Lopes, and Arnd Poetzsch-Heffter. Formal Techniques for Distributed Systems. : Springer Berlin Heidelberg, 2009.