Article Dans Une Revue
SIAM Journal on Computing
Année : 2018
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 : jeudi 26 septembre 2024-03:04:55
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, 2018, 47 (3), pp.769-797. ⟨10.1137/140965715⟩. ⟨hal-01649808⟩
Collections
103
Consultations
0
Téléchargements