Author

Erika Ábrahám

4 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

4 books
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Year unknown Erika Ábrahám and Catuscia Palamidessi
Integrated Formal Methods

Integrated Formal Methods

Year unknown Erika Ábrahám and Marieke Huisman
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

Year unknown Erika Ábrahám and Marco Paolieri
Theoretical Aspects of Computing ...

Theoretical Aspects of Computing - ICTAC 2023

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

Fetched from OpenLibrary. Some translations may appear as separate works.