@incollection{Thomas:1995,
    Author = {Thomas, Wolfgang},
    BookTitle = {STACS 95},
    Editor = {Mayr, ErnstW. and Puech, Claude},
    File = {On the synthesis of strategies in infinite games - Thomas (0) (0) - a - a - x.pdf},
    ISBN = {978-3-540-59042-2},
    Pages = {1-13},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {On the synthesis of strategies in infinite games},
    URL = {http://dx.doi.org/10.1007/3-540-59042-0\_57},
    Volume = {900},
    Year = {1995},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-59042-0\_57},
    date-added = {2014-06-18 17:08:47 +0000},
    date-modified = {2014-06-18 17:08:47 +0000},
    doi = {10.1007/3-540-59042-0_57}
}

@incollection{Thomas:1995, Author = {Thomas, Wolfgang}, BookTitle = {STACS 95}, Editor = {Mayr, ErnstW. and Puech, Claude}, File = {On the synthesis of strategies in infinite games - Thomas (0) (0) - a - a - x.pdf}, ISBN = {978-3-540-59042-2}, Pages = {1-13}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {On the synthesis of strategies in infinite games}, URL = {http://dx.doi.org/10.1007/3-540-59042-0_57}, Volume = {900}, Year = {1995}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-59042-0_57}, date-added = {2014-06-18 17:08:47 +0000}, date-modified = {2014-06-18 17:08:47 +0000}, doi = {10.1007/3-540-59042-0_57} }