S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems
Crossref DOI link: https://doi.org/10.1007/s11225-019-09875-0
Published Online: 2019-09-10
Published Print: 2019-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pinchinat, Sophie
Text and Data Mining valid from 2019-09-10
Version of Record valid from 2019-09-10
Article History
First Online: 10 September 2019