%0 Conference Paper %1 conf/compsac/GuoFRJS17 %A Guo, Chunhui %A Fu, Zhicheng %A Ren, Shangping %A Jiang, Yu %A Sha, Lui %B COMPSAC (1) %D 2017 %E Reisman, Sorel %E Ahamed, Sheikh Iqbal %E Demartini, Claudio %E Conte, Thomas M. %E Liu, Ling %E Claycomb, William R. %E Nakamura, Motonori %E Tovar, Edmundo %E Cimato, Stelvio %E Lung, Chung-Horng %E Takakura, Hiroki %E Yang, Ji-Jiang %E Akiyama, Toyokazu %E Zhang, Zhiyong %E Hasan, Kamrul %I IEEE Computer Society %K dblp %P 760-765 %T Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#GuoFRJS17 %@ 978-1-5386-0367-3

@inproceedings{conf/compsac/GuoFRJS17, added-at = {2023-03-24T00:00:00.000+0100}, author = {Guo, Chunhui and Fu, Zhicheng and Ren, Shangping and Jiang, Yu and Sha, Lui}, biburl = {https://www.bibsonomy.org/bibtex/20ecd7abd9da5572bc3909f78539aa2c7/dblp}, booktitle = {COMPSAC (1)}, crossref = {conf/compsac/2017-1}, editor = {Reisman, Sorel and Ahamed, Sheikh Iqbal and Demartini, Claudio and Conte, Thomas M. and Liu, Ling and Claycomb, William R. and Nakamura, Motonori and Tovar, Edmundo and Cimato, Stelvio and Lung, Chung-Horng and Takakura, Hiroki and Yang, Ji-Jiang and Akiyama, Toyokazu and Zhang, Zhiyong and Hasan, Kamrul}, ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2017.253}, interhash = {77091677a9e9ca99577297bcd5c05fe7}, intrahash = {0ecd7abd9da5572bc3909f78539aa2c7}, isbn = {978-1-5386-0367-3}, keywords = {dblp}, pages = {760-765}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T16:53:32.000+0200}, title = {Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#GuoFRJS17}, year = 2017 }