@misc{indiciae0584a8356cc8,
  title = {Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)},
  author = {Chunhui Guo and Zhicheng Fu and Zhenyu Zhang and Shangping Ren and Lui Sha},
  year = {2018},
  doi = {10.1109/iccps.2018.00032},
  url = {https://arxiv.org/abs/1811.08061},
  note = {Source identifier: 1811.08061}
}