Applying Model Checking to Workflow Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

J.-Hendrik Pfeiffer, Wilhelm Rossak, Andreas Speck. Applying Model Checking to Workflow Verification. In 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic. pages 144-151, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'J.-Hendrik Pfeiffer' in GoogleThis author has not been identified. Look up 'Wilhelm Rossak' in GoogleThis author has not been identified. Look up 'Andreas Speck' in Google

runs on WebDSL