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]
Abstract is missing.