Autor der Publikation

Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States.

, , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 184-203. Springer, (2018)

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.

Keine Personen gefunden für den Autorennamen Sutre, Grégoire
Eine Person hinzufügen mit dem Namen Sutre, Grégoire
 

Weitere Publikationen von Autoren mit dem selben Namen

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems., , und . LPAR, Volume 2850 von Lecture Notes in Computer Science, Seite 361-375. Springer, (2003)Reachability of Communicating Timed Processes., , , und . FoSSaCS, Volume 7794 von Lecture Notes in Computer Science, Seite 81-96. Springer, (2013)On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension., , und . ICALP (2), Volume 9135 von Lecture Notes in Computer Science, Seite 324-336. Springer, (2015)Decidability of Reachability Problems for Classes of Two Counters Automata., und . STACS, Volume 1770 von Lecture Notes in Computer Science, Seite 346-357. Springer, (2000)Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States., , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 184-203. Springer, (2018)Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One., , , , und . ICALP, Volume 80 von LIPIcs, Seite 119:1-119:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Software Verification with BLAST., , , und . SPIN, Volume 2648 von Lecture Notes in Computer Science, Seite 235-239. Springer, (2003)Flat Counter Automata Almost Everywhere!, und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 489-503. Springer, (2005)On Functions Weakly Computable by Pushdown Petri Nets and Related Systems., , , und . CoRR, (2019)Accelerated Data-Flow Analysis, und . CoRR, (2008)