%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
%+ Université Grenoble Alpes [2016-2019] (UGA [2016-2019])
%+ University of Illinois at Urbana-Champaign [Urbana] (UIUC)
%A Graf, Susanne
%A Viswanathan, Mahesh
%@ 978-3-319-19194-2
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-9039
%8 2015
%D 2015
%R 10.1007/978-3-319-19195-9
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 9039
%G English
%Z TC 6
%Z WG 6.1
%L hal-01767330
%U https://inria.hal.science/hal-01767330
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-9039