(2010). Formal techniques for distributed systems: Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-13464-7
Chicago-Zitierstil (17. Ausg.)Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; Proceedings. Berlin [u.a.]: Springer, 2010. https://doi.org/10.1007/978-3-642-13464-7.
MLA-Zitierstil (9. Ausg.)Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; Proceedings. Springer, 2010. https://doi.org/10.1007/978-3-642-13464-7.