Performance Modelling of Patient Flow Scheduling Through a Formal Method
CHEN Xiao1* (陈潇), THOMAS Nigel2, DING Jie3 (丁 杰)
Journal of shanghai Jiaotong University (Science) . 2017, (1): 66 -071 .  DOI: 10.1007/s12204-017-1801-0