%0 Journal Article %1 journals/ai/Huang15 %A Huang, Xiaowei %D 2015 %J Artif. Intell. %K dblp %P 182-200 %T Bounded model checking of strategy ability with perfect recall. %U http://dblp.uni-trier.de/db/journals/ai/ai222.html#Huang15 %V 222

@article{journals/ai/Huang15, added-at = {2020-03-04T00:00:00.000+0100}, author = {Huang, Xiaowei}, biburl = {https://www.bibsonomy.org/bibtex/26e514d6c765f04fc20cd8a3d2a4d43c8/dblp}, ee = {https://doi.org/10.1016/j.artint.2015.01.005}, interhash = {f6f7cc51fd3a3e248b8393d8052bb0c7}, intrahash = {6e514d6c765f04fc20cd8a3d2a4d43c8}, journal = {Artif. Intell.}, keywords = {dblp}, pages = {182-200}, timestamp = {2020-03-05T11:46:45.000+0100}, title = {Bounded model checking of strategy ability with perfect recall.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai222.html#Huang15}, volume = 222, year = 2015 }