Journal Articles
Studia Logica
Year : 2019
Sophie Pinchinat : Connect in order to contact the contributor
https://inria.hal.science/hal-02540746
Submitted on : Saturday, April 11, 2020-7:06:07 PM
Last modification on : Friday, March 24, 2023-2:53:15 PM
Cite
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
67
View
0
Download