APA-Zitierstil (7. Ausg.)

Steffen, M. (2005). Formal methods for open object based distributed systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings. Springer. https://doi.org/10.1007/b136996

Chicago-Zitierstil (17. Ausg.)

Steffen, Martin. Formal Methods for Open Object Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; Proceedings. Berlin [u.a.]: Springer, 2005. https://doi.org/10.1007/b136996.

MLA-Zitierstil (9. Ausg.)

Steffen, Martin. Formal Methods for Open Object Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; Proceedings. Springer, 2005. https://doi.org/10.1007/b136996.