Formal Techniques for Distributed Objects, Components, and Systems - 34th International Conference (FORTE)

TitleFormal Techniques for Distributed Objects, Components, and Systems - 34th International Conference (FORTE)
Publication TypeBook
Year of Publication2014
AuthorsÁbrahám, E, Palamidessi, C
Series TitleLecture Notes in Computer Science
Volume8461
PublisherSpringer
ISBN Number978-3-662-43612-7
URLhttp://dx.doi.org/10.1007/978-3-662-43613-4
DOI10.1007/978-3-662-43613-4
Work Package: 
WP3