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