@inproceedings{Alur:2009:ODM:1532848.1532880,
    Address = {Berlin, Heidelberg},
    Author = {Alur, Rajeev and Degorre, Aldric and Maler, Oded and Weiss, Gera},
    BookTitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009},
    File = {On Omega-Languages Defined by Mean-Payoff Conditions - Alur, Degorre, Maler, Weiss (1) (0) - a - a - b.pdf},
    ISBN = {978-3-642-00595-4},
    Location = {York, UK},
    Pages = {333--347},
    Publisher = {Springer-Verlag},
    Series = {FOSSACS '09},
    Title = {On Omega-Languages Defined by Mean-Payoff Conditions},
    URL = {http://dx.doi.org/10.1007/978-3-642-00596-1\_24},
    Year = {2009},
    acmid = {1532880},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1\_24},
    date-added = {2014-01-24 14:33:59 +0000},
    date-modified = {2014-01-24 14:33:59 +0000},
    file-2 = {On Omega-Languages Defined by Mean-Payoff Conditions - Alur, Degorre, Maler, Weiss (0) (0) - a - a - b.pdf},
    numpages = {15},
    doi = {10.1007/978-3-642-00596-1_24}
}

@inproceedings{Alur:2009:ODM:1532848.1532880, Address = {Berlin, Heidelberg}, Author = {Alur, Rajeev and Degorre, Aldric and Maler, Oded and Weiss, Gera}, BookTitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009}, File = {On Omega-Languages Defined by Mean-Payoff Conditions - Alur, Degorre, Maler, Weiss (1) (0) - a - a - b.pdf}, ISBN = {978-3-642-00595-4}, Location = {York, UK}, Pages = {333--347}, Publisher = {Springer-Verlag}, Series = {FOSSACS '09}, Title = {On Omega-Languages Defined by Mean-Payoff Conditions}, URL = {http://dx.doi.org/10.1007/978-3-642-00596-1_24}, Year = {2009}, acmid = {1532880}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00596-1_24}, date-added = {2014-01-24 14:33:59 +0000}, date-modified = {2014-01-24 14:33:59 +0000}, file-2 = {On Omega-Languages Defined by Mean-Payoff Conditions - Alur, Degorre, Maler, Weiss (0) (0) - a - a - b.pdf}, numpages = {15}, doi = {10.1007/978-3-642-00596-1_24} }