Modeling and Verifying Timed Compensable Workflows and an Application to Health Care.

Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull

Browse the full FMICS paper archive.