S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Studia Logica Year : 2019

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

Sophie Pinchinat
No file

Dates and versions

hal-02540746 , version 1 (11-04-2020)

Identifiers

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⟩
67 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More