Article Dans Une Revue
Studia Logica
Année : 2019
Sophie Pinchinat : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02540746
Soumis le : samedi 11 avril 2020-19:06:07
Dernière modification le : vendredi 24 mars 2023-14:53:15
Citer
Sophie Pinchinat. S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems. Studia Logica, 2019, 107 (5), pp.1083-1088. ⟨10.1007/s11225-019-09875-0⟩. ⟨hal-02540746⟩
Collections
79
Consultations
0
Téléchargements