Communication Dans Un Congrès
Année : 2010
Sofia Cassel : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00767433
Soumis le : mercredi 19 décembre 2012-18:17:58
Dernière modification le : jeudi 7 mars 2024-12:32:05
Citer
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
29
Consultations
0
Téléchargements