@inproceedings{Diekert2015,
    Address = {Cham},
    Author = {Diekert, Volker and Muscholl, Anca and Walukiewicz, Igor},
    BookTitle = {Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings},
    Editor = {Leucker, Martin and Rueda, Camilo and Valencia, D. Frank},
    File = {A Note on Monitors and Büchi Automata - Diekert, Muscholl, Walukiewicz (0) (0) - a - a - p.pdf},
    ISBN = {978-3-319-25150-9},
    Pages = {39--57},
    Publisher = {Springer International Publishing},
    Title = {A Note on Monitors and B{\"u}chi Automata},
    URL = {http://dx.doi.org/10.1007/978-3-319-25150-9\_3},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-25150-9\_3},
    date-added = {2016-03-24 11:34:11 +0000},
    date-modified = {2016-03-24 11:34:21 +0000},
    file-2 = {A Note on Monitors and Büchi Automata - Diekert, Muscholl, Walukiewicz (1) (0) - a - a - p.pdf},
    doi = {10.1007/978-3-319-25150-9_3}
}

@inproceedings{Diekert2015, Address = {Cham}, Author = {Diekert, Volker and Muscholl, Anca and Walukiewicz, Igor}, BookTitle = {Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings}, Editor = {Leucker, Martin and Rueda, Camilo and Valencia, D. Frank}, File = {A Note on Monitors and Büchi Automata - Diekert, Muscholl, Walukiewicz (0) (0) - a - a - p.pdf}, ISBN = {978-3-319-25150-9}, Pages = {39--57}, Publisher = {Springer International Publishing}, Title = {A Note on Monitors and B{\"u}chi Automata}, URL = {http://dx.doi.org/10.1007/978-3-319-25150-9_3}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-25150-9_3}, date-added = {2016-03-24 11:34:11 +0000}, date-modified = {2016-03-24 11:34:21 +0000}, file-2 = {A Note on Monitors and Büchi Automata - Diekert, Muscholl, Walukiewicz (1) (0) - a - a - p.pdf}, doi = {10.1007/978-3-319-25150-9_3} }