Formal Techniques for Distributed Objects, Components, and Systems

MLA

Erika Ábrahám, Catuscia Palamidessi, Catuscia Palamidessi, and Erika Ábrahám. Formal Techniques for Distributed Objects, Components, and Systems. Springer Berlin Heidelberg, 2014.

APA

Erika Ábrahám, C. Palamidessi, Palamidessi, C., & Ábrahám, E. (2014). Formal Techniques for Distributed Objects, Components, and Systems. Springer Berlin Heidelberg.

Chicago

Erika Ábrahám, Catuscia Palamidessi, Catuscia Palamidessi, and Erika Ábrahám. Formal Techniques for Distributed Objects, Components, and Systems. : Springer Berlin Heidelberg, 2014.