External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modeling and Formally Checking Workflow Properties Using UML and OCL

Jens Brüning, Martin Gogolla, Peter Forbrig. Modeling and Formally Checking Workflow Properties Using UML and OCL. In Peter Forbrig, Horst Günther, editors, Perspectives in Business Informatics Research - 9th International Conference, BIR 2010, Rostock Germany, September 29-October 1, 2010. Proceedings. Volume 64 of Lecture Notes in Business Information Processing, pages 130-145, Springer, 2010. [doi]

Authors

Jens Brüning

This author has not been identified. Look up 'Jens Brüning' in Google

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google

Peter Forbrig

This author has not been identified. It may be one of the following persons: Look up 'Peter Forbrig' in Google
runs on