@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"
}