A Verifying Method of Controller Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wei Li, Ying Lu, Yi-Chao Zhang, Jian-Guo Wu. A Verifying Method of Controller Synthesis. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 796-800, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Wei Li' in GoogleThis author has not been identified. Look up 'Ying Lu' in GoogleThis author has not been identified. Look up 'Yi-Chao Zhang' in GoogleThis author has not been identified. Look up 'Jian-Guo Wu' in Google

runs on WebDSL