@inproceedings{sen-rosu-agha-2003-asian,
    author = "Sen, Koushik and Rosu, Grigore and Agha, Gul",
    publisher = "Springer-Verlag",
    doi = "http://dx.doi.org/10.1007/978-3-540-40965-6_17",
    title = "Generating Optimal Linear Temporal Logic Monitors by Coinduction",
    series = "Lecture Notes in Computer Science (LNCS)",
    booktitle = "Proceedings of the 8th Asian Computing Science Conference (ASIAN'03)",
    month = "December",
    volume = "2896",
    year = "2003",
    pages = "260-275"
}