Synthesis for regular specifications over unbounded domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jad Hamza, Barbara Jobstmann, Viktor Kuncak. Synthesis for regular specifications over unbounded domains. 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 101-109, IEEE, 2010. [doi]

This author has not been identified. Look up 'Jad Hamza' in GoogleThis author has not been identified. Look up 'Barbara Jobstmann' in GoogleThis author has not been identified. Look up 'Viktor Kuncak' in Google

runs on WebDSL