%0 Conference Paper %1 conf/lics/BrazdilBFK06 %A Brázdil, Tomás %A Brozek, Václav %A Forejt, Vojtech %A Kucera, Antonín %B LICS %D 2006 %I IEEE Computer Society %K dblp %P 349-358 %T Stochastic Games with Branching-Time Winning Objectives. %U http://dblp.uni-trier.de/db/conf/lics/lics2006.html#BrazdilBFK06 %@ 0-7695-2631-4

@inproceedings{conf/lics/BrazdilBFK06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Brázdil, Tomás and Brozek, Václav and Forejt, Vojtech and Kucera, Antonín}, biburl = {https://www.bibsonomy.org/bibtex/21f74d4bc189c2b1fb737fe6a8233490e/dblp}, booktitle = {LICS}, crossref = {conf/lics/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2006.48}, interhash = {90386d13da484ce50338333c965f8e95}, intrahash = {1f74d4bc189c2b1fb737fe6a8233490e}, isbn = {0-7695-2631-4}, keywords = {dblp}, pages = {349-358}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:01:13.000+0200}, title = {Stochastic Games with Branching-Time Winning Objectives.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2006.html#BrazdilBFK06}, year = 2006 }