%0 Conference Paper %1 conf/fsttcs/BrazdilFKKK09 %A Brázdil, Tomás %A Forejt, Vojtech %A Krcál, Jan %A Kretínský, Jan %A Kucera, Antonín %B FSTTCS %D 2009 %E Kannan, Ravi %E Kumar, K. Narayan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 61-72 %T Continuous-Time Stochastic Games with Time-Bounded Reachability. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2009.html#BrazdilFKKK09 %V 4 %@ 978-3-939897-13-2

@inproceedings{conf/fsttcs/BrazdilFKKK09, added-at = {2019-08-30T00:00:00.000+0200}, author = {Brázdil, Tomás and Forejt, Vojtech and Krcál, Jan and Kretínský, Jan and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/2a591fb21b59088fbef98db8cc496a9cc/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2009}, editor = {Kannan, Ravi and Kumar, K. Narayan}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2307}, interhash = {5591e00814515c72ad0ef1121d0fa67b}, intrahash = {a591fb21b59088fbef98db8cc496a9cc}, isbn = {978-3-939897-13-2}, keywords = {dblp}, pages = {61-72}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:51:55.000+0100}, title = {Continuous-Time Stochastic Games with Time-Bounded Reachability.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2009.html#BrazdilFKKK09}, volume = 4, year = 2009 }