%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014
%+ Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH)
%+ Concurrency, Mobility and Transactions (COMETE)
%A Ábrahám, Erika
%A Palamidessi, Catuscia
%@ 978-3-662-43612-7
%I Springer
%S Lecture Notes in Computer Science
%V LNCS-8461
%8 2014
%D 2014
%R 10.1007/978-3-662-43613-4
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 8461
%G English
%Z TC 6
%Z WG 6.1
%L hal-01398026
%U https://inria.hal.science/hal-01398026
%~ X
%~ CNRS
%~ INRIA
%~ LIX
%~ LIX-COMETE
%~ INRIA-SACLAY
%~ X-LIX
%~ X-DEP
%~ X-DEP-INFO
%~ INRIA_TEST
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-8461
%~ INRIA-ALLEMAGNE