BibTeX record conf/iccad/GuoFZRS17

download as .bib file

@inproceedings{DBLP:conf/iccad/GuoFZRS17,
  author       = {Chunhui Guo and
                  Zhicheng Fu and
                  Zhenyu Zhang and
                  Shangping Ren and
                  Lui Sha},
  editor       = {Sri Parameswaran},
  title        = {Model and integrate medical resource availability into verifiably
                  correct executable medical guidelines},
  booktitle    = {2017 {IEEE/ACM} International Conference on Computer-Aided Design,
                  {ICCAD} 2017, Irvine, CA, USA, November 13-16, 2017},
  pages        = {964--969},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICCAD.2017.8203885},
  doi          = {10.1109/ICCAD.2017.8203885},
  timestamp    = {Wed, 15 Apr 2020 17:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/GuoFZRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics