%0 Conference Paper %1 conf/lopstr/EnevoldsenJLMS20 %A Enevoldsen, Søren %A Jensen, Mathias Claus %A Larsen, Kim Guldstrand %A Mariegaard, Anders %A Srba, Jirí %B LOPSTR %D 2020 %E Fernández, Maribel %I Springer %K dblp %P 249-268 %T Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2020.html#EnevoldsenJLMS20 %V 12561 %@ 978-3-030-68446-4

@inproceedings{conf/lopstr/EnevoldsenJLMS20, added-at = {2024-05-07T00:00:00.000+0200}, author = {Enevoldsen, Søren and Jensen, Mathias Claus and Larsen, Kim Guldstrand and Mariegaard, Anders and Srba, Jirí}, biburl = {https://www.bibsonomy.org/bibtex/259788f61c67aee32a0bc2b2b4599fd4b/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2020}, editor = {Fernández, Maribel}, ee = {https://doi.org/10.1007/978-3-030-68446-4_13}, interhash = {08059a413990fe0b3109c6616faab2de}, intrahash = {59788f61c67aee32a0bc2b2b4599fd4b}, isbn = {978-3-030-68446-4}, keywords = {dblp}, pages = {249-268}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:13:14.000+0200}, title = {Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2020.html#EnevoldsenJLMS20}, volume = 12561, year = 2020 }