Synthesizing Efficient Controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian von Essen, Barbara Jobstmann. Synthesizing Efficient Controllers. In Viktor Kuncak, Andrey Rybalchenko, editors, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Volume 7148 of Lecture Notes in Computer Science, pages 428-444, Springer, 2012. [doi]

This author has not been identified. Look up 'Christian von Essen' in GoogleThis author has not been identified. Look up 'Barbara Jobstmann' in Google

runs on WebDSL