@incollection{Serre:2006,
    Author = {Serre, Olivier},
    BookTitle = {Foundations of Software Science and Computation Structures},
    Editor = {Aceto, Luca and Ing{\'o}lfsd{\'o}ttir, Anna},
    File = {Parity Games Played on Transition Graphs of One-Counter Processes - Serre (0) (0) - a - a - w.pdf},
    ISBN = {978-3-540-33045-5},
    Language = {English},
    Pages = {337-351},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Parity Games Played on Transition Graphs of One-Counter Processes},
    URL = {http://dx.doi.org/10.1007/11690634\_23},
    Volume = {3921},
    Year = {2006},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11690634\_23},
    date-added = {2014-06-26 13:33:07 +0000},
    date-modified = {2014-06-26 13:33:07 +0000},
    doi = {10.1007/11690634_23}
}

@incollection{Serre:2006, Author = {Serre, Olivier}, BookTitle = {Foundations of Software Science and Computation Structures}, Editor = {Aceto, Luca and Ing{\'o}lfsd{\'o}ttir, Anna}, File = {Parity Games Played on Transition Graphs of One-Counter Processes - Serre (0) (0) - a - a - w.pdf}, ISBN = {978-3-540-33045-5}, Language = {English}, Pages = {337-351}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Parity Games Played on Transition Graphs of One-Counter Processes}, URL = {http://dx.doi.org/10.1007/11690634_23}, Volume = {3921}, Year = {2006}, bdsk-url-1 = {http://dx.doi.org/10.1007/11690634_23}, date-added = {2014-06-26 13:33:07 +0000}, date-modified = {2014-06-26 13:33:07 +0000}, doi = {10.1007/11690634_23} }