Logics Meet 1-Clock Alternating Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya. Logics Meet 1-Clock Alternating Timed Automata. In Sven Schewe, Lijun Zhang 0001, editors, 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China. Volume 118 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

This author has not been identified. Look up 'Shankara Narayanan Krishna' in GoogleThis author has not been identified. Look up 'Khushraj Madnani' in GoogleThis author has not been identified. Look up 'Paritosh K. Pandya' in Google

runs on WebDSL