@incollection{Chatterjee:Doyen:Randour:Raskin:ATVA:2013,
    Author = {Chatterjee, Krishnendu and Doyen, Laurent and Randour, Mickael and Raskin, Jean-Fran{\c c}ois},
    BookTitle = {Automated Technology for Verification and Analysis},
    Editor = {Hung, Dang and Ogawa, Mizuhito},
    File = {Looking at Mean-Payoff and Total-Payoff through Windows - Chatterjee, Doyen, Randour, Raskin (0) (0) - a - a - m.pdf},
    ISBN = {978-3-319-02443-1},
    Pages = {118-132},
    Publisher = {Springer International Publishing},
    Series = {Lecture Notes in Computer Science},
    Title = {Looking at Mean-Payoff and Total-Payoff through Windows},
    URL = {http://dx.doi.org/10.1007/978-3-319-02444-8\_10},
    Volume = {8172},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8\_10},
    date-added = {2014-01-13 16:04:43 +0000},
    date-modified = {2014-01-13 16:04:43 +0000},
    file-2 = {Looking at Mean-Payoff and Total-Payoff through Windows - Chatterjee, Doyen, Randour, Raskin (1) (0) - a - a - m.pdf},
    doi = {10.1007/978-3-319-02444-8_10}
}

@incollection{Chatterjee:Doyen:Randour:Raskin:ATVA:2013, Author = {Chatterjee, Krishnendu and Doyen, Laurent and Randour, Mickael and Raskin, Jean-Fran{\c c}ois}, BookTitle = {Automated Technology for Verification and Analysis}, Editor = {Hung, Dang and Ogawa, Mizuhito}, File = {Looking at Mean-Payoff and Total-Payoff through Windows - Chatterjee, Doyen, Randour, Raskin (0) (0) - a - a - m.pdf}, ISBN = {978-3-319-02443-1}, Pages = {118-132}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Looking at Mean-Payoff and Total-Payoff through Windows}, URL = {http://dx.doi.org/10.1007/978-3-319-02444-8_10}, Volume = {8172}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-319-02444-8_10}, date-added = {2014-01-13 16:04:43 +0000}, date-modified = {2014-01-13 16:04:43 +0000}, file-2 = {Looking at Mean-Payoff and Total-Payoff through Windows - Chatterjee, Doyen, Randour, Raskin (1) (0) - a - a - m.pdf}, doi = {10.1007/978-3-319-02444-8_10} }