TY - RPRT TI - Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report AU - Chunhui Guo AU - Zhicheng Fu AU - Zhenyu Zhang AU - Shangping Ren AU - Lui Sha PY - 2018 DO - 10.1109/iccad.2017.8203885 UR - https://arxiv.org/abs/1811.08064 ID - 1811.08064 ER -