( en | de | ru )

 

Disambiguierung von "Westergaard, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models.

, und . OTM Conferences (1), Volume 7565 von Lecture Notes in Computer Science, Seite 250-267. Springer, (2012)

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.

Malcolm Westergaard

Astrid Westergaard

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)
 

Weitere Publikationen von Autoren mit dem selben Namen

Designing software for operational decision support through coloured Petri nets., und . Enterprise IS, 11 (5): 576-596 (2017)ASAP: An Extensible Platform for State Space Analysis., , und . Petri Nets, Volume 5606 von Lecture Notes in Computer Science, Seite 303-312. Springer, (2009)Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets., und . Petri Nets, Volume 6709 von Lecture Notes in Computer Science, Seite 169-188. Springer, (2011)Verifying Parallel Algorithms and Programs Using Coloured Petri Nets.. Trans. Petri Nets Other Model. Concurr., (2012)Declare: A Tool Suite for Declarative Workflow Modeling and Enactment., und . BPM (Demos), Volume 820 von CEUR Workshop Proceedings, CEUR-WS.org, (2011)A Graphical Approach to Component-Based and Extensible Model Checking Platforms., und . Trans. Petri Nets Other Model. Concurr., (2012)The BRITNeY Suite Animation Tool., und . ICATPN, Volume 4024 von Lecture Notes in Computer Science, Seite 431-440. Springer, (2006)Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.. BPM, Volume 6896 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2011)Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks., , und . IFM, Volume 3771 von Lecture Notes in Computer Science, Seite 266-286. Springer, (2005)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models., und . OTM Conferences (1), Volume 7565 von Lecture Notes in Computer Science, Seite 250-267. Springer, (2012)