A User-friendly Tool for Model Checking Healthcare Workflows.

Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo

Browse the full EUSPN paper archive.