Media type: E-Article Title: Finite-trace linear temporal logic: coinductive completeness Contributor: Roşu, Grigore Published: Springer Science and Business Media LLC, 2018 Published in: Formal Methods in System Design, 53 (2018) 1, Seite 138-163 Language: English DOI: 10.1007/s10703-018-0321-3 ISSN: 0925-9856; 1572-8102 Origination: Footnote: