Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pinchinat, S. S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems. Stud Logica 107, 1083–1088 (2019). https://doi.org/10.1007/s11225-019-09875-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09875-0