%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
%+ University of Groningen [Groningen]
%+ Imperial College London
%A Pérez, Jorge
%A Yoshida, Nobuko
%@ 978-3-030-21758-7
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-11535
%8 2019
%D 2019
%R 10.1007/978-3-030-21759-4
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 11535
%G English
%Z TC 6
%Z WG 6.1
%L hal-02313743
%U https://inria.hal.science/hal-02313743
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-11535