Goal based bisimulation for testing therapies in traditional Chinese medicine

Guang Zheng, Xiaojuan He, Miao Jiang 0001, Aiping Lu. Goal based bisimulation for testing therapies in traditional Chinese medicine. In 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010, Hong Kong, December 18, 2010. pages 603-608, IEEE, 2010. [doi]

Authors

Guang Zheng

This author has not been identified. Look up 'Guang Zheng' in Google

Xiaojuan He

This author has not been identified. Look up 'Xiaojuan He' in Google

Miao Jiang 0001

This author has not been identified. Look up 'Miao Jiang 0001' in Google

Aiping Lu

This author has not been identified. Look up 'Aiping Lu' in Google