Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969

Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha
June 2017
DOI