Communication Dans Un Congrès
Année : 2009
Jean-Michel Couvreur : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00468314
Soumis le : mardi 30 mars 2010-14:58:26
Dernière modification le : jeudi 4 avril 2024-11:07:07
Citer
Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur. On-the-fly Emptiness Check of Transition-Based Streett Automata. 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, Oct 2009, Macao, China. pp.213-227, ⟨10.1007/978-3-642-04761-9_17⟩. ⟨hal-00468314⟩
Collections
140
Consultations
0
Téléchargements