%0 Conference Paper %1 conf/amia/ButlerMBT15 %A Butler, Keith A. %A Mercer, Eric %A Bahrami, Ali %A Tao, Cui %B AMIA %D 2015 %I AMIA %K dblp %T Model Checking for Verification of Interactive Health IT Systems. %U http://dblp.uni-trier.de/db/conf/amia/amia2015.html#ButlerMBT15

@inproceedings{conf/amia/ButlerMBT15, added-at = {2024-04-17T00:00:00.000+0200}, author = {Butler, Keith A. and Mercer, Eric and Bahrami, Ali and Tao, Cui}, biburl = {https://www.bibsonomy.org/bibtex/24f60ce725c9d5b7b1e1f59732f0291b0/dblp}, booktitle = {AMIA}, crossref = {conf/amia/2015}, ee = {https://knowledge.amia.org/59310-amia-1.2741865/t004-1.2745466/f004-1.2745467/2248920-1.2745810/2246148-1.2745807}, interhash = {e2f6a753c37f95e5d66a647945399302}, intrahash = {4f60ce725c9d5b7b1e1f59732f0291b0}, keywords = {dblp}, publisher = {AMIA}, timestamp = {2024-04-22T07:37:07.000+0200}, title = {Model Checking for Verification of Interactive Health IT Systems.}, url = {http://dblp.uni-trier.de/db/conf/amia/amia2015.html#ButlerMBT15}, year = 2015 }