Verification of Unstructured Workflows via Propositional Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qianhui Althea Liang, J. Leon Zhao. Verification of Unstructured Workflows via Propositional Logic. In Roger Y. Lee, editor, 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA. pages 247-252, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Qianhui Althea Liang' in GoogleThis author has not been identified. Look up 'J. Leon Zhao' in Google

runs on WebDSL