Timed Relational Abstractions for Sampled Data Control Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari. Timed Relational Abstractions for Sampled Data Control Systems. In P. Madhusudan, Sanjit A. Seshia, editors, Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Volume 7358 of Lecture Notes in Computer Science, pages 343-361, Springer, 2012. [doi]

This author has not been identified. Look up 'Aditya Zutshi' in GoogleThis author has not been identified. It may be one of the following persons:

Sriram Sankaranarayanan

Look up 'Sriram Sankaranarayanan' in GoogleThis author has not been identified. Look up 'Ashish Tiwari' in Google

runs on WebDSL