( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Neue, einfache Algorithmen für Petrinetze

, и . Informatik-Spektrum, 37 (3): 229-236 (июня 2014)
DOI: 10.1007/s00287-013-0753-5

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Asher Finkel

Michael Finkel

Carola Finkel

Ariana Finkel

Asher Finkel

 

Другие публикации лиц с тем же именем

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