TY  - RPRT
TI  - Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)
AU  - Chunhui Guo
AU  - Zhicheng Fu
AU  - Zhenyu Zhang
AU  - Shangping Ren
AU  - Lui Sha
PY  - 2018
DO  - 10.1109/iccps.2018.00032
UR  - https://arxiv.org/abs/1811.08061
ID  - 1811.08061
ER  -