Synthesis of Reactive(1) designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar. Synthesis of Reactive(1) designs. J. Comput. Syst. Sci., 78(3):911-938, 2012. [doi]

This author has not been identified. Look up 'Roderick Bloem' in GoogleThis author has not been identified. Look up 'Barbara Jobstmann' in GoogleThis author has not been identified. Look up 'Nir Piterman' in GoogleThis author has not been identified. It may be one of the following persons:

Amir Pnueli

Look up 'Amir Pnueli' in GoogleThis author has not been identified. Look up 'Yaniv Sa'ar' in Google

runs on WebDSL