An Automated Translator for Model Checking Time Constrained Workflow Systems.

Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull

Browse the full FMICS paper archive.