@incollection{kwiatkowska:safely:12,
    Author = {Chen, Taolue and Forejt, Vojt{\v e}ch and Kwiatkowska, Marta and Simaitis, Aistis and Trivedi, Ashutosh and Ummels, Michael},
    BookTitle = {CONCUR 2012 -- Concurrency Theory},
    Editor = {Koutny, Maciej and Ulidowski, Irek},
    File = {Playing Stochastic Games Precisely - Chen, Forejt, Kwiatkowska, Simaitis, Trivedi, Ummels (0) (0) - a - a - n.pdf},
    ISBN = {978-3-642-32939-5},
    Pages = {348-363},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Playing Stochastic Games Precisely},
    URL = {http://dx.doi.org/10.1007/978-3-642-32940-1\_25},
    Volume = {7454},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-32940-1\_25},
    date-added = {2012-12-05 22:14:29 +0000},
    date-modified = {2012-12-05 22:14:29 +0000},
    doi = {10.1007/978-3-642-32940-1_25}
}

@incollection{kwiatkowska:safely:12, Author = {Chen, Taolue and Forejt, Vojt{\v e}ch and Kwiatkowska, Marta and Simaitis, Aistis and Trivedi, Ashutosh and Ummels, Michael}, BookTitle = {CONCUR 2012 -- Concurrency Theory}, Editor = {Koutny, Maciej and Ulidowski, Irek}, File = {Playing Stochastic Games Precisely - Chen, Forejt, Kwiatkowska, Simaitis, Trivedi, Ummels (0) (0) - a - a - n.pdf}, ISBN = {978-3-642-32939-5}, Pages = {348-363}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Playing Stochastic Games Precisely}, URL = {http://dx.doi.org/10.1007/978-3-642-32940-1_25}, Volume = {7454}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-32940-1_25}, date-added = {2012-12-05 22:14:29 +0000}, date-modified = {2012-12-05 22:14:29 +0000}, doi = {10.1007/978-3-642-32940-1_25} }