( en | de | ru )

 

Disambiguierung von "Raskin, Mikhail A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Peter Raskin

Richard Raskin

Gisela Raskin

Heinrich Raskin

Katrin Raskin

 

Weitere Publikationen von Autoren mit dem selben Namen

The Complexity of Reachability in Affine Vector Addition Systems with States., und . Log. Methods Comput. Sci., (2021)On the Flatness of Immediate Observation Petri Nets., und . CoRR, (2020)Affine Extensions of Integer Vector Addition Systems with States., , , und . Log. Methods Comput. Sci., (2021)A Linear Lower Bound for Incrementing a Space-Optimal Integer Representation in the Bit-Probe Model.. ICALP, Volume 80 von LIPIcs, Seite 88:1-88:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Protocols with constant local storage and unreliable communication.. Theor. Comput. Sci., 940 (Part): 269-282 (2023)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 Parameterized Invariants of Parameterized Petri Nets., , und . Petri Nets, Volume 12734 von Lecture Notes in Computer Science, Seite 141-163. Springer, (2021)The complexity of verifying population protocols., , , und . Distributed Comput., 34 (2): 133-177 (2021)Modular population protocols.. CoRR, (2021)