Erika Ábrahám

No bio available. Add one in Open Library.

Books by Erika Ábrahám (50 max)

+ shelf+ list

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

2014

Erika Ábrahám, Catuscia Palamidessi

+ shelf+ list

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

2016

Erika Ábrahám, Marieke Huisman

+ shelf+ list

Quantitative Evaluation of Systems 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

2022

Erika Ábrahám, Marco Paolieri

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

2023

Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa