Preserving correctness during business process model configuration Conference Proceedings uri icon

Overview

Authors

Published in

  • Formal Aspects of Computing: applicable formal methods

Time

Date/time value

  • 2010

Identity

Digital Object Identifier (DOI)

  • 10.1007/s00165-009-0112-0

Additional Document Info

Parent Title

  • FORMAL ASPECTS OF COMPUTING

Volume

  • 22

Issue

  • 3-4

Publisher

  • Springer London