An Automated Translator for Model Checking Time Constrained Workflow Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull. An Automated Translator for Model Checking Time Constrained Workflow Systems. In Stefan Kowalewski, Marco Roveri, editors, Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. Volume 6371 of Lecture Notes in Computer Science, pages 99-114, Springer, 2010. [doi]

This author has not been identified. Look up 'Ahmed Shah Mashiyat' in GoogleThis author has not been identified. Look up 'Fazle Rabbi' in GoogleThis author has not been identified. Look up 'Hao Wang' in GoogleThis author has not been identified. Look up 'Wendy MacCaull' in Google

runs on WebDSL