Low dimensional hybrid systems - decidable, undecidable, don't know - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider. Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput., 211:138-159, 2012. [doi]

This author has not been identified. Look up 'Eugene Asarin' in GoogleThis author has not been identified. Look up 'Venkatesh Mysore' 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. It may be one of the following persons:

Gerardo Schneider

Look up 'Gerardo Schneider' in Google

runs on WebDSL