@inbook{Sen2003,
    Address = {Berlin, Heidelberg},
    Author = {Sen, Koushik and Ro{\c{s}}u, Grigore and Agha, Gul},
    BookTitle = {Advances in Computing Science -- ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings},
    Editor = {Saraswat, Vijay A.},
    File = {sen-2003-asian-generating\_optimal\_linear\_temporal\_logic\_monitors\_by\_coinduction (0) - a - a - c.pdf},
    ISBN = {978-3-540-40965-6},
    Pages = {260--275},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Generating Optimal Linear Temporal Logic Monitors by Coinduction},
    URL = {http://dx.doi.org/10.1007/978-3-540-40965-6\_17},
    Year = {2003},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-40965-6\_17},
    date-added = {2017-03-26 14:34:04 +0000},
    date-modified = {2017-03-26 14:34:04 +0000},
    doi = {10.1007/978-3-540-40965-6_17}
}

@inbook{Sen2003, Address = {Berlin, Heidelberg}, Author = {Sen, Koushik and Ro{\c{s}}u, Grigore and Agha, Gul}, BookTitle = {Advances in Computing Science -- ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings}, Editor = {Saraswat, Vijay A.}, File = {sen-2003-asian-generating_optimal_linear_temporal_logic_monitors_by_coinduction (0) - a - a - c.pdf}, ISBN = {978-3-540-40965-6}, Pages = {260--275}, Publisher = {Springer Berlin Heidelberg}, Title = {Generating Optimal Linear Temporal Logic Monitors by Coinduction}, URL = {http://dx.doi.org/10.1007/978-3-540-40965-6_17}, Year = {2003}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-40965-6_17}, date-added = {2017-03-26 14:34:04 +0000}, date-modified = {2017-03-26 14:34:04 +0000}, doi = {10.1007/978-3-540-40965-6_17} }