( en | de | ru )

 

Disambiguierung von "Finkel, Alain"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A direct symbolic approach to model checking pushdown systems.

, , und . INFINITY, Volume 9 von Electronic Notes in Theoretical Computer Science, Seite 27-37. Elsevier, (1997)

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.

Asher Finkel

Michael Finkel

Carola Finkel

Asher Finkel

Manfred Finkel

 

Weitere Publikationen von Autoren mit dem selben Namen

Dense-choice Counter Machines revisited., , und . Theor. Comput. Sci., (2014)Model-checking CTL* over flat Presburger counter systems., , , und . J. Appl. Non Class. Logics, 20 (4): 313-344 (2010)Composition/décomposition de réseaux de petri et de leurs graphes de couverture., und . RAIRO Theor. Informatics Appl., 28 (2): 73-124 (1994)Well-Abstracted Transition Systems., , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 566-580. Springer, (2000)Ordinal Theory for Expressiveness of Well Structured Transition Systems., , , und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 153-167. Springer, (2011)Reset Nets Between Decidability and Undecidability., , und . ICALP, Volume 1443 von Lecture Notes in Computer Science, Seite 103-115. Springer, (1998)A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems.. ICALP, Volume 267 von Lecture Notes in Computer Science, Seite 499-508. Springer, (1987)Avoiding State Exposion by Composition of Minimal Covering Graphs., und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 169-180. Springer, (1991)Well-abstracted transition systems: application to FIFO automata., , und . Inf. Comput., 181 (1): 1-31 (2003)A well-structured framework for analysing petri net extensions., , und . Inf. Comput., 195 (1-2): 1-29 (2004)