%0 Book
%T Formal Techniques for Distributed Systems
%T Joint IFIP WG 6.1 International Conference FMOODS/FORTE 2013Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013
%+ University of Passau
%+ Università degli Studi di Firenze = University of Florence = Université de Florence (UniFI)
%A Beyer, Dirk
%A Boreale, Michele
%I Springer
%S Lecture Notes in Computer Science
%V LNCS-7892
%8 2013
%D 2013
%R 10.1007/978-3-642-38592-6
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 7892
%G English
%Z TC 6
%Z WG 6.1
%L hal-01515249
%U https://inria.hal.science/hal-01515249
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-7892