Formal verification of business processes with temporal and resource constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kenji Watahiki, Fuyuki Ishikawa, Kunihiko Hiraishi. Formal verification of business processes with temporal and resource constraints. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011. pages 1173-1180, IEEE, 2011. [doi]

This author has not been identified. Look up 'Kenji Watahiki' in GoogleThis author has not been identified. Look up 'Fuyuki Ishikawa' in GoogleThis author has not been identified. Look up 'Kunihiko Hiraishi' in Google

runs on WebDSL