Giese, H., & Rosu, G. (2012). Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu . — Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. — Online-Ressource (XIII, 269p. 75 illus, digital). — (Lecture notes in computer science ; 7273). — ISBN 9783642307935