A halting algorithm to determine the existence of decoder - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li. A halting algorithm to determine the existence of decoder. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 91-99, IEEE, 2010. [doi]

This author has not been identified. Look up 'ShengYu Shen' in GoogleThis author has not been identified. Look up 'Ying Qin' in GoogleThis author has not been identified. Look up 'Jianmin Zhang' in GoogleThis author has not been identified. Look up 'Sikun Li' in Google

runs on WebDSL