Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
Journal title: 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
Journal number: 8461
Journal publisher: Springer Berlin Heidelberg
Published year: 2014
Published pages: 84-99
DOI identifier: 10.1007/978-3-662-43613-4_6
ISBN: 978-3-662-43612-7
