Guang Zheng, Zekun Ning, Junping Zhan, Kai Cui, Miao Jiang, Cheng Lu, Aiping Lu. Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis. In 10th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2013, Shenyang, China, July 23-25, 2013. pages 713-717, IEEE, 2013. [doi]
Abstract is missing.