Publications

2014
DOI
[bibtex]
Erika Abraham, Catuscia Palamidessi editors. Proc. of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'14), Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin. Springer, Volume 8461 of LNCS, 2014.