Hongtao Huang, Shaobin Huang, Zhiyuan Chen, Tao Zhang. Model reduction using the orthogonality between overapproximate slicing and abstract. In Yongsheng Ding, Yonghong Peng, Riyi Shi, Kuangrong Hao, Lipo Wang, editors, 4th International Conference on Biomedical Engineering and Informatics, BMEI 2011, Shanghai, China, October 15-17, 2011. pages 2077-2081, IEEE, 2011. [doi]
Abstract is missing.