%0 Book
%T Formal Techniques for Distributed Systems
%T 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
%+ Department of Computing and Information Sciences [Kansas] (CIS@K-STATE)
%+ Università degli studi di Genova = University of Genoa (UniGe)
%A Hatcliff, John
%A Zucca, Elena
%@ 978-3-642-13463-0
%I Springer
%S Lecture Notes in Computer Science
%V LNCS-6117
%8 2010
%D 2010
%R 10.1007/978-3-642-13464-7
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 6117
%G English
%Z WG 6.1
%Z TC 6
%L hal-01555338
%U https://inria.hal.science/hal-01555338
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6117
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS