Timed Systems through the Lens of Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna. Timed Systems through the Lens of Logic. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. pages 1-13, IEEE, 2019. [doi]

This author has not been identified. Look up 'S. Akshay' in GoogleThis author has not been identified. Look up 'Paul Gastin' in GoogleThis author has not been identified. Look up 'Vincent Jugé' in GoogleThis author has not been identified. Look up 'Shankara Narayanan Krishna' in Google

runs on WebDSL