Search

You searched for: Auteur Philippou, Anna Remove constraint Auteur: Philippou, Anna
1 - 3 of 3
Number of results to display per page

Search Results

1. Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, Jun
thumbnail
Full text!
Author:
Mousavi, Mohammad Reza.; Philippou, Anna
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
2. FM 2016: Formal Methods
thumbnail
Full text!
Author:
Fitzgerald; Gnesi, Stefania; Heitmeyer, Constance; Philippou, Anna
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Kowalewski, Stefan; Kanade, Takeo; Philippou, Anna; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book