Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice

	Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice
	Zheng, Guang; Wang, Ling-Ru; Shi, Huan-Huan; Li, Rong; Jiang, Miao; Lu, Ai-Ping,
	2015
会议名称	Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014
会议日期	August 16, 2014 - August 17, 2014
会议地点	Kunming, Yunnan, China
关键词	Diseases Formal methods Medicine Textbooks Bisimulations Clinical practices Consistency checking Equivalence relationship Herbal medicines Knowledge items Rheumatoid arthritis Traditional Chinese Medicine
页码	63-68
通讯作者	Zheng, Guang
会议录	Medicine Sciences and Bioengineering - Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014
学科主题	Medicine and Pharmacology;Computer Programming;Education
语种	英语
内容类型	会议论文
源URL	[http://ir.lzu.edu.cn/handle/262010/183880]
专题	信息科学与工程学院_会议论文
推荐引用方式 GB/T 7714	Zheng, Guang,Wang, Ling-Ru,Shi, Huan-Huan,et al. Bisimulation-based consistency checking on syndrome Tan-Yu-Bi-Zu in rheumatoid arthritis between textbook and clinical practice[C]. 见:Proceedings of the 2014 International Conference on Medicine Sciences and Bioengineering, ICMSB 2014. Kunming, Yunnan, China. August 16, 2014 - August 17, 2014.