BibTeX record conf/bibm/IslamLPAJCCGCGM16

• > Home > conf/bibm/IslamLPAJCCGCGM16

@inproceedings{DBLP:conf/bibm/IslamLPAJCCGCGM16,
  author       = {Md. Ariful Islam and
                  Hyun{-}Kyung Lim and
                  Nicola Paoletti and
                  Houssam Abbas and
                  Zhihao Jiang and
                  Jacek Cyranka and
                  Rance Cleaveland and
                  Sicun Gao and
                  Edmund M. Clarke and
                  Radu Grosu and
                  Rahul Mangharam and
                  Elizabeth Cherry and
                  Flavio H. Fenton and
                  Richard A. Gray and
                  James Glimm and
                  Shan Lin and
                  Qinsi Wang and
                  Scott A. Smolka},
  editor       = {Tianhai Tian and
                  Qinghua Jiang and
                  Yunlong Liu and
                  Kevin Burrage and
                  Jiangning Song and
                  Yadong Wang and
                  Xiaohua Hu and
                  Shinichi Morishita and
                  Qian Zhu and
                  Guohua Wang},
  title        = {CyberCardia project: Modeling, verification and validation of implantable
                  cardiac devices},
  booktitle    = {{IEEE} International Conference on Bioinformatics and Biomedicine,
                  {BIBM} 2016, Shenzhen, China, December 15-18, 2016},
  pages        = {1445--1452},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/BIBM.2016.7822737},
  doi          = {10.1109/BIBM.2016.7822737},
  timestamp    = {Fri, 24 Mar 2023 00:05:01 +0100},
  biburl       = {https://dblp.org/rec/conf/bibm/IslamLPAJCCGCGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}