Conservative elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
Negotiating inter-organisational processes:an approach based on unfoldings and workflow nets Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
On the complexity of safe, elementary hornets Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
P- and T-systems in the nets-within-nets-formalism Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Complexity of LTL modelchecking for safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
P- and T-Systems in the Nets-within-Nets Formalism Heitmann, Frank Köhler-Bußmeier, Michael 2012 - ReposIt
Model-Driven Middleware Support for Team-Oriented Process Management Köhler-Bußmeier, Michael Wester-Ebbinghaus, Matthias 2012 - ReposIt
Model-driven middleware support for team-oriented process management Köhler-Bußmeier, Michael Wester-Ebbinghaus, Matthias 2012 - Forschungsinformationssystem der UHH
Proceedings of the International Workshop on Concurrency, Specification, and Programming ; On the Complexity of Safe, Elementary Hornets Köhler-Bußmeier, Michael 2012 - ReposIt
Proceedings of the International Workshop on Concurrency, Specification, and Programming ; Negotiating Inter-Organisational Processes: An approach based on Unfoldings and Workflow Nets Köhler-Bußmeier, Michael 2012 - ReposIt
Analysing SONAR model transformations Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
A mobility logic for object net systems Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Negotiating inter-organisational processes : an approach based on unfoldings and workflow nets Köhler-Bußmeier, Michael 2012 - ReposIt