Autor der Publikation

Computing Parameterized Invariants of Parameterized Petri Nets.

, , und . Petri Nets, Volume 12734 von Lecture Notes in Computer Science, Seite 141-163. Springer, (2021)

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

Computing Parameterized Invariants of Parameterized Petri Nets., , und . Fundam. Informaticae, 187 (2-4): 197-243 (2022)Structural Invariants for the Verification of Systems with Parameterized Architectures., , , , und . TACAS (1), Volume 12078 von Lecture Notes in Computer Science, Seite 228-246. Springer, (2020)Working with first-order proofs and provers., und . (2019)https://european-lisp-symposium.org/static/2019/raskin.pdf.Computing Parameterized Invariants of Parameterized Petri Nets., , und . Petri Nets, Volume 12734 von Lecture Notes in Computer Science, Seite 141-163. Springer, (2021)Abduction of trap invariants in parameterized systems., , und . GandALF, Volume 346 von EPTCS, Seite 1-17. (2021)Regular Model Checking Upside-Down: An Invariant-Based Approach., , und . CONCUR, Volume 243 von LIPIcs, Seite 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Computing Inductive Invariants of Regular Abstraction Frameworks., , , und . CoRR, (2024)