@inproceedings{Rutkowski:QAPL:2011,
    Author = {Rutkowski, Michal},
    BookTitle = {Proc. of QAPL'11},
    Editor = {Massink, Mieke and Norman, Gethin},
    Pages = {31--46},
    Publisher = {Open Publishing Association},
    Series = {EPTCS},
    Title = {Two-Player Reachability-Price Games on Single-Clock Timed Automata},
    Volume = {57},
    Year = {2011},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.57.3},
    date-added = {2020-02-06 19:10:24 +0100},
    date-modified = {2020-02-06 19:11:16 +0100},
    doi = {10.4204/EPTCS.57.3}
}

@inproceedings{Rutkowski:QAPL:2011, Author = {Rutkowski, Michal}, BookTitle = {Proc. of QAPL'11}, Editor = {Massink, Mieke and Norman, Gethin}, Pages = {31--46}, Publisher = {Open Publishing Association}, Series = {EPTCS}, Title = {Two-Player Reachability-Price Games on Single-Clock Timed Automata}, Volume = {57}, Year = {2011}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.57.3}, date-added = {2020-02-06 19:10:24 +0100}, date-modified = {2020-02-06 19:11:16 +0100}, doi = {10.4204/EPTCS.57.3} }