@inproceedings{rosu-2016-rv, author = "Ro\c{s}u, Grigore", publisher = "Springer", doi = "http://dx.doi.org/10.1007/978-3-319-46982-9_21", title = "Finite-Trace Linear Temporal Logic: Coinductive Completeness", series = "Lecture Notes in Computer Science", booktitle = "Runtime Verification - 16th International Conference, {RV} 2016 Madrid, Spain, September 23-30, 2016, Proceedings", month = "September", volume = "10012", year = "2016", pages = "333-350" }