Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

R. Govind 0001, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz. Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. In Christel Baier, Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM, 2022. [doi]

This author has not been identified. Look up 'R. Govind 0001' in GoogleThis author has not been identified. Look up 'Frédéric Herbreteau' in GoogleThis author has not been identified. Look up 'B. Srivathsan' in GoogleThis author has not been identified. Look up 'Igor Walukiewicz' in Google

runs on WebDSL