Skip to Main content Skip to Navigation
Journal articles

S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems

Sophie Pinchinat 1 
1 LOGICA - Logic and applications
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-02540746
Contributor : Sophie Pinchinat Connect in order to contact the contributor
Submitted on : Saturday, April 11, 2020 - 7:06:07 PM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM

Identifiers

Citation

Sophie Pinchinat. S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems. Studia Logica, Springer Verlag (Germany), 2019, 107 (5), pp.1083-1088. ⟨10.1007/s11225-019-09875-0⟩. ⟨hal-02540746⟩

Share

Metrics

Record views

60