%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016
%+ Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid] (UCM)
%+ Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)
%A Albert, Elvira
%A Lanese, Ivan
%@ 978-3-319-39569-2
%I Springer
%S Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-9688
%8 2016
%D 2016
%R 10.1007/978-3-319-39570-8
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 9688
%G English
%Z TC 6
%Z WG 6.1
%L hal-01432933
%U https://inria.hal.science/hal-01432933
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-9688