%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
%+ Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243))
%+ University College of London [London] (UCL)
%A Bouajjani, Ahmed
%A Silva, Alexandra
%@ 978-3-319-60224-0
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-10321
%8 2017
%D 2017
%R 10.1007/978-3-319-60225-7
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 10321
%G English
%Z TC 6
%Z WG 6.1
%L hal-01658426
%U https://inria.hal.science/hal-01658426
%~ UNIV-PARIS7
%~ CNRS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ USPC
%~ IFIP-FORTE
%~ IFIP-LNCS-10321
%~ UNIV-PARIS
%~ UP-SCIENCES
%~ IRIF