%0 Conference Paper %1 conf/fskd/ZhengNZCJLL13 %A Zheng, Guang %A Ning, Zekun %A Zhan, Junping %A Cui, Kai %A Jiang, Miao %A Lu, Cheng %A Lu, Aiping %B FSKD %D 2013 %E Chen, Jianhua %E Wang, Xingwei %E Wang, Lipo %E Sun, Jinguang %E Meng, Xiangfu %I IEEE %K dblp %P 713-717 %T Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis. %U http://dblp.uni-trier.de/db/conf/fskd/fskd2013.html#ZhengNZCJLL13 %@ 978-1-4673-5253-6

@inproceedings{conf/fskd/ZhengNZCJLL13, added-at = {2016-04-07T00:00:00.000+0200}, author = {Zheng, Guang and Ning, Zekun and Zhan, Junping and Cui, Kai and Jiang, Miao and Lu, Cheng and Lu, Aiping}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a53dabefa4f080ebf856da292abcf70a/dblp}, booktitle = {FSKD}, crossref = {conf/fskd/2013}, editor = {Chen, Jianhua and Wang, Xingwei and Wang, Lipo and Sun, Jinguang and Meng, Xiangfu}, ee = {http://dx.doi.org/10.1109/FSKD.2013.6816288}, interhash = {c5d7c74dc685157d609953d39e3fe015}, intrahash = {a53dabefa4f080ebf856da292abcf70a}, isbn = {978-1-4673-5253-6}, keywords = {dblp}, pages = {713-717}, publisher = {IEEE}, timestamp = {2016-04-08T09:33:05.000+0200}, title = {Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis.}, url = {http://dblp.uni-trier.de/db/conf/fskd/fskd2013.html#ZhengNZCJLL13}, year = 2013 }