BibTeX record conf/healthcom/PervezMHLG15

download as .bib file

@inproceedings{DBLP:conf/healthcom/PervezMHLG15,
  author       = {Usman Pervez and
                  Asiah Mahmood and
                  Osman Hasan and
                  Khalid Latif and
                  Amjad Gawanmeh},
  title        = {Formal reliability analysis of Device Interoperability Middleware
                  {(DIM)} based E-health system using {PRISM}},
  booktitle    = {17th International Conference on E-health Networking, Application
                  {\&} Services, HealthCom 2015, Boston, MA, USA, October 14-17,
                  2015},
  pages        = {108--113},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/HealthCom.2015.7454482},
  doi          = {10.1109/HEALTHCOM.2015.7454482},
  timestamp    = {Fri, 09 Apr 2021 18:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/healthcom/PervezMHLG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}