Skip to Main content Skip to Navigation
New interface
Conference papers

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00767433
Contributor : Sofia Cassel Connect in order to contact the contributor
Submitted on : Wednesday, December 19, 2012 - 6:17:58 PM
Last modification on : Wednesday, November 24, 2021 - 9:54:07 AM

Links full text

Identifiers

Collections

Citation

Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukáš Holík, Chih-Duo Hong, et al.. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. Computer Aided Verification (CAV), 2010, Edinburgh, United Kingdom. ⟨10.1007/978-3-642-14295-6_14⟩. ⟨hal-00767433⟩

Share

Metrics

Record views

27