%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
%+ Technische Universität Darmstadt - Technical University of Darmstadt (TU Darmstadt)
%+ Eindhoven University of Technology [Eindhoven] (TU/e)
%A Peters, Kirstin
%A Willemse, Tim, A.C.
%@ 978-3-030-78088-3
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-12719
%8 2021
%D 2021
%R 10.1007/978-3-030-78089-0
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 12719
%G English
%Z TC 6
%Z WG 6.1
%L hal-03740268
%U https://inria.hal.science/hal-03740268
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-12719