Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.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 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8461)
Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.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 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany.