![](/img/cover-not-exists.png)
A User-friendly Tool for Model Checking Healthcare Workflows
Rutle, Adrian, Rabbi, Fazle, MacCaull, Wendy, Lamo, YngveVolume:
21
Year:
2013
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2013.09.042
File:
PDF, 501 KB
english, 2013