Author Search Results

1

Cover Image

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2014

Other Authors: “...Abraham, Erika....”
View full text

Electronic eBook

2

Cover Image

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...

Published 2014

Other Authors: “...Ábrahám, Erika....”
View full text

Electronic eBook