%0 Journal Article %1 journals/fuin/JamrogaKKP20 %A Jamroga, Wojciech %A Konikowska, Beata %A Kurpiewski, Damian %A Penczek, Wojciech %D 2020 %J Fundam. Informaticae %K dblp %N 1-4 %P 207-251 %T Multi-valued Verification of Strategic Ability. %U http://dblp.uni-trier.de/db/journals/fuin/fuin175.html#JamrogaKKP20 %V 175

@article{journals/fuin/JamrogaKKP20, added-at = {2021-07-25T00:00:00.000+0200}, author = {Jamroga, Wojciech and Konikowska, Beata and Kurpiewski, Damian and Penczek, Wojciech}, biburl = {https://www.bibsonomy.org/bibtex/2b26be95de411fa99c7d7ab8e1bccd749/dblp}, ee = {https://doi.org/10.3233/FI-2020-1955}, interhash = {5de065894f11f17e54662bf06d046516}, intrahash = {b26be95de411fa99c7d7ab8e1bccd749}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {1-4}, pages = {207-251}, timestamp = {2024-04-08T10:04:33.000+0200}, title = {Multi-valued Verification of Strategic Ability.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin175.html#JamrogaKKP20}, volume = 175, year = 2020 }