Environment Abstraction with State Clustering and Parameter Truncating

Hong Pan, Yi Lv, Huimin Lin. Environment Abstraction with State Clustering and Parameter Truncating. In Wei-Ngan Chin, Shengchao Qin, editors, TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. pages 73-80, IEEE Computer Society, 2009. [doi]

Authors

Hong Pan

This author has not been identified. Look up 'Hong Pan' in Google

Yi Lv

This author has not been identified. Look up 'Yi Lv' in Google

Huimin Lin

This author has not been identified. Look up 'Huimin Lin' in Google