Hatcliff, J., & Zucca, E. (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. IFIP International Federation for Information Processing.
Παραπομπή σε μορφή Chicago (17η εκδ.)Hatcliff, John, και Elena Zucca. 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, Heidelberg: IFIP International Federation for Information Processing, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Hatcliff, John, και Elena Zucca. 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. IFIP International Federation for Information Processing, 2010.
