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]
Abstract is missing.