( en | de | ru )

 

Disambiguierung von "Sutre, Grégoire"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal-Safety Proofs for Systems Code.

, , , , , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 526-538. Springer, (2002)

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.

Grégoire Laurence

Mireille Grégoire

Grégoire Dooms

Grégoire Verlut

Grégoire Pau

 

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)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)Hyper-Ackermannian bounds for pushdown vector addition systems., , und . CSL-LICS, Seite 63:1-63:10. ACM, (2014)Well-Abstracted Transition Systems., , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 566-580. Springer, (2000)On Flatness for 2-Dimensional Vector Addition Systems with States., und . CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 402-416. Springer, (2004)Accelerated Data-Flow Analysis., und . SAS, Volume 4634 von Lecture Notes in Computer Science, Seite 184-199. Springer, (2007)The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 248-263. Springer, (2014)Lazy abstraction., , , und . POPL, Seite 58-70. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free., und . CONCUR, Volume 171 von LIPIcs, Seite 37:1-37:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Unfolding Concurrent Well-Structured Transition Systems., , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 706-720. Springer, (2007)