Johannes Faber. A timed model for healthcare workflows based on CSP. In Ruth Breu, John Hatcliff, editors, Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012. pages 1-7, IEEE, 2012. [doi]
@inproceedings{Faber12-0,
title = {A timed model for healthcare workflows based on CSP},
author = {Johannes Faber},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2667037},
researchr = {https://researchr.org/publication/Faber12-0},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012},
editor = {Ruth Breu and John Hatcliff},
publisher = {IEEE},
isbn = {978-1-4673-1843-3},
}