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

Type de document :
Communication dans un congrès
Computer Aided Verification (CAV), 2010, Edinburgh, United Kingdom. 2010, 〈10.1007/978-3-642-14295-6_14〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00767433
Contributeur : Sofia Cassel <>
Soumis le : mercredi 19 décembre 2012 - 18:17:58
Dernière modification le : mercredi 24 janvier 2018 - 10:46:02

Lien texte intégral

Identifiants

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. 2010, 〈10.1007/978-3-642-14295-6_14〉. 〈hal-00767433〉

Partager

Métriques

Consultations de la notice

65