Article Dans Une Revue
SIAM Journal on Computing
Année : 2017
Florent Madelaine : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01649808
Soumis le : lundi 27 novembre 2017-18:09:47
Dernière modification le : mercredi 20 mars 2024-16:20:04
Dates et versions
Identifiants
- HAL Id : hal-01649808 , version 1
- ARXIV : 1210.6893
- DOI : 10.1137/140965715
Citer
Florent Madelaine, Barnaby Martin. On the complexity of the model checking problem. SIAM Journal on Computing, 2017, 47 (3), pp.769-797. ⟨10.1137/140965715⟩. ⟨hal-01649808⟩
Collections
94
Consultations
0
Téléchargements