Search

You searched for: Auteur Andre Platzer Remove constraint Auteur: Andre Platzer
1 - 5 of 5
Number of results to display per page

Search Results

1. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
thumbnail
Full text!
Author:
Andre Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne
Publisher:
Springer Nature 2025
Format:
e-book
2. Logical Analysis of Hybrid Systems
thumbnail
Full text!
Author:
Platzer, André; Platzer, André
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
3. Automated Deduction – CADE 28
thumbnail
Full text!
Author:
Platzer, André; Sutcliffe, Geoff
Publisher:
Springer International Publishing 2021
Format:
e-book
4. Correct System Design
thumbnail
Full text!
Author:
Meyer; Platzer, André; Wehrheim, Heike
Publisher:
Springer International Publishing 2015
Format:
e-book
5. Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
thumbnail
Full text!
Author:
André Platzer; Kristin Yvonne Rozier; Kristin Yvonne Rozier; Matteo Pradella; Matteo Pradella; Matteo Rossi; Matteo Rossi; Pradella, Matteo; Rossi, Matteo; Rozier, Kristin Yvonne
Publisher:
Springer Nature 2024
Format:
e-book