%0 Book
%T Formal Techniques for Distributed Systems
%T 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
%+ Hasso Plattner Institute [Potsdam, Germany]
%+ University of Illinois at Urbana-Champaign [Urbana] (UIUC)
%A Giese, Holger
%A Rosu, Grigore
%I Springer
%S Lecture Notes in Computer Science
%V LNCS-7273
%8 2012
%D 2012
%R 10.1007/978-3-642-30793-5
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 7273
%G English
%Z TC 6
%Z WG 6.1
%L hal-01528737
%U https://inria.hal.science/hal-01528737
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-LNCS-7273