%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
%+ Technische Universität Dresden = Dresden University of Technology (TU Dresden)
%+ Centro de Informática e Tecnologia Informação (CITI)
%A Baier, Christel
%A Caires, Luís
%@ 978-3-319-92611-7
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-10854
%8 2018
%D 2018
%R 10.1007/978-3-319-92612-4
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 10854
%G English
%Z TC 6
%Z WG 6.1
%L hal-01824818
%U https://inria.hal.science/hal-01824818
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-10854