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 <>
Submitted on : Saturday, April 11, 2020 - 7:06:07 PM
Last modification on : Saturday, July 11, 2020 - 3:16:11 AM

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

59