Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00767433
Contributor : Sofia Cassel <>
Submitted on : Wednesday, December 19, 2012 - 6:17:58 PM
Last modification on : Monday, January 21, 2019 - 4:46:01 PM

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

99