( en | de | ru )

 

Disambiguierung von "Kindler, Ekkart"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Behavior Modeling - Foundations and Applications, International Workshops, BM-FA 2009-2014, Revised Selected Papers

, , , und (Hrsg.) Volume 6368 von Lecture Notes in Computer Science, Springer, (2015)

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.

Ekkart Kindler

Ekkart Knorr

Ekkart Lenz

Ekkart Rudolph

Ekkart Genée

 

Weitere Publikationen von Autoren mit dem selben Namen

Invariants, Composition, and Substitution.. Acta Informatica, 32 (4): 299-312 (1995)Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification., , und . PNSE @ Petri Nets, Volume 1372 von CEUR Workshop Proceedings, Seite 79-98. CEUR-WS.org, (2015)Verification of Distributed Algorithms with Algebraic Petri Nets., und . Foundations of Computer Science: Potential - Theory - Cognition, Volume 1337 von Lecture Notes in Computer Science, Seite 261-270. Springer, (1997)Szenarios: Lokale Kriterien für globale Korrektheit., und . FBT, Seite 113-122. Herbert Utz Verlag, (1999)The Interplay of Transaction Models and Memory Models.. IADT, Seite 39-46. Society for Design and Process Science, 1302 West 25th Street, Suite 300, Austin, TX 78705-4236, USA, (1998)On the semantics of EPCs: A framework for resolving the vicious circle.. EPK, Seite 7-18. GI-Arbeitskreis Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, (2003)ePNK Applications and Annotations: A Simulator for YAWL Nets.. Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 339-350. Springer, (2018)Serializability, Concurrency Control, and Replication Control.. FMLDO - Selected Papers, Volume 1773 von Lecture Notes in Computer Science, Seite 26-44. Springer, (1999)Message passing mutex., und . STRICT, Seite 205-219. Springer, (1995)Mutex Needs Fairness., und . Inf. Process. Lett., 62 (1): 31-39 (1997)