Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

MLA

Gorrieri, Roberto, Heike Wehrheim and SpringerLink (Online service). Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. First edition 2006. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.

APA

Gorrieri, R., Wehrheim, H. & SpringerLink (Online service). (2006). Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. First edition 2006. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer.

Chicago

Gorrieri, Roberto, Heike Wehrheim and SpringerLink (Online service). Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Edited by Roberto Gorrieri and Heike Wehrheim. First edition 2006. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.