%0 Conference Paper %1 conf/hucc/ZhengWZZLYX18 %A Zheng, Guocheng %A Wang, Pin %A Zhang, Xinyu %A Zhang, Chuan %A Li, Mengao %A Yang, Yuxiao %A Xu, Weifeng %B HCC %D 2018 %E Tang, Yong %E Zu, Qiaohong %E García, José G. Rodríguez %I Springer %K dblp %P 244-256 %T Model Checking for Turn-Based Probability Epistemic Game Structure. %U http://dblp.uni-trier.de/db/conf/hucc/hcc2018.html#ZhengWZZLYX18 %V 11354 %@ 978-3-030-15127-0

@inproceedings{conf/hucc/ZhengWZZLYX18, added-at = {2019-04-05T00:00:00.000+0200}, author = {Zheng, Guocheng and Wang, Pin and Zhang, Xinyu and Zhang, Chuan and Li, Mengao and Yang, Yuxiao and Xu, Weifeng}, biburl = {https://www.bibsonomy.org/bibtex/273a84ec78840ed589d8dfe1773ba13d5/dblp}, booktitle = {HCC}, crossref = {conf/hucc/2018}, editor = {Tang, Yong and Zu, Qiaohong and García, José G. Rodríguez}, ee = {https://doi.org/10.1007/978-3-030-15127-0_25}, interhash = {cea7e9bb330f4e1efed6c78831a33221}, intrahash = {73a84ec78840ed589d8dfe1773ba13d5}, isbn = {978-3-030-15127-0}, keywords = {dblp}, pages = {244-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:59:50.000+0200}, title = {Model Checking for Turn-Based Probability Epistemic Game Structure.}, url = {http://dblp.uni-trier.de/db/conf/hucc/hcc2018.html#ZhengWZZLYX18}, volume = 11354, year = 2018 }