Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking., , und . CoRR, (2024)Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning., , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 131-147. Springer, (2021)Verification of SMT Systems with Quantifiers., , und . ATVA, Volume 13505 von Lecture Notes in Computer Science, Seite 154-170. Springer, (2022)