List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| doctoralThesis | 2023 | Compositional synthesis of reactive systems | Passing, Noemi Estrid |
Welcome
| ORCID: |  https://orcid.org/0000-0001-7781-043X |
| Name: | Passing, Noemi Estrid |
| Faculty: | MI - Fakultät für Mathematik und Informatik |
| Department: | MI - Informatik |
| Professorship: | MI - Prof. Dr. Bernd Finkbeiner |
| Display style: |