%0 Journal Article %1 journals/ijis/ZengP08 %A Zeng, Yifeng %A Poh, Kim-Leng %D 2008 %J Int. J. Intell. Syst. %K dblp %N 11 %P 1177-1195 %T Symbolic verification of multiagent graphical decision models. %U http://dblp.uni-trier.de/db/journals/ijis/ijis23.html#ZengP08 %V 23

@article{journals/ijis/ZengP08, added-at = {2017-05-27T00:00:00.000+0200}, author = {Zeng, Yifeng and Poh, Kim-Leng}, biburl = {https://www.bibsonomy.org/bibtex/2b0c4f2717dbe38d9186097e6cbb6b527/dblp}, ee = {https://doi.org/10.1002/int.20313}, interhash = {ccf37770d64f70a8755a6205df9f933d}, intrahash = {b0c4f2717dbe38d9186097e6cbb6b527}, journal = {Int. J. Intell. Syst.}, keywords = {dblp}, number = 11, pages = {1177-1195}, timestamp = {2017-05-31T20:50:24.000+0200}, title = {Symbolic verification of multiagent graphical decision models.}, url = {http://dblp.uni-trier.de/db/journals/ijis/ijis23.html#ZengP08}, volume = 23, year = 2008 }