Approximate Completed Trace Equivalence of Linear Algebra Transition Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hao Yang, Anping He, Zhiwei Zhang, Shihan Yang, Yang Liu. Approximate Completed Trace Equivalence of Linear Algebra Transition Systems. In Zhixiang Yin, Linqiang Pan, Xianwen Fang, editors, Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013, HuangShan, China, July 12-14, 2013. Volume 212 of Advances in Intelligent Systems and Computing, pages 233-237, Springer, 2013. [doi]

This author has not been identified. Look up 'Hao Yang' in GoogleThis author has not been identified. Look up 'Anping He' in GoogleThis author has not been identified. Look up 'Zhiwei Zhang' in GoogleThis author has not been identified. Look up 'Shihan Yang' in GoogleThis author has not been identified. Look up 'Yang Liu' in Google

runs on WebDSL