Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao. Model Checking for Verification of Interactive Health IT Systems. In AMIA 2015, American Medical Informatics Association Annual Symposium, San Francisco, CA, USA, November 14-18, 2015. AMIA, 2015. [doi]
@inproceedings{ButlerMBT15,
title = {Model Checking for Verification of Interactive Health IT Systems},
author = {Keith A. Butler and Eric Mercer and Ali Bahrami and Cui Tao},
year = {2015},
url = {http://knowledge.amia.org/59310-amia-1.2741865/t004-1.2745466/f004-1.2745467/2248920-1.2745810/2246148-1.2745807},
researchr = {https://researchr.org/publication/ButlerMBT15},
cites = {0},
citedby = {0},
booktitle = {AMIA 2015, American Medical Informatics Association Annual Symposium, San Francisco, CA, USA, November 14-18, 2015},
publisher = {AMIA},
}