( en | de | ru )

 

Disambiguation of "Westergaard, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.

, , , and . BPM, volume 6896 of Lecture Notes in Computer Science, page 132-147. Springer, (2011)

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. You can also use the button next to the name to display some publications already assigned to the person.

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)
 

Other publications of authors with the same name

Designing software for operational decision support through coloured Petri nets., and . Enterprise IS, 11 (5): 576-596 (2017)Verifying Parallel Algorithms and Programs Using Coloured Petri Nets.. Trans. Petri Nets Other Model. Concurr., (2012)ASAP: An Extensible Platform for State Space Analysis., , and . Petri Nets, volume 5606 of Lecture Notes in Computer Science, page 303-312. Springer, (2009)Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets., and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 169-188. Springer, (2011)Declare: A Tool Suite for Declarative Workflow Modeling and Enactment., and . BPM (Demos), volume 820 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)A Graphical Approach to Component-Based and Extensible Model Checking Platforms., and . Trans. Petri Nets Other Model. Concurr., (2012)Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.. BPM, volume 6896 of Lecture Notes in Computer Science, page 83-98. Springer, (2011)The BRITNeY Suite Animation Tool., and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 431-440. Springer, (2006)Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks., , and . IFM, volume 3771 of Lecture Notes in Computer Science, page 266-286. Springer, (2005)An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets., , and . Petri Nets, volume 7347 of Lecture Notes in Computer Science, page 308-327. Springer, (2012)