Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Dates and versions

hal-00767433 , version 1 (19-12-2012)

Identifiers

Cite

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⟩

Collections

CONNECT
28 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More