%0 Conference Paper %1 conf/ceemas/ZhaoFZYL05 %A Zhao, Xinyu %A Fan, Shaofeng %A Zhang, Runjie %A Yue, Anbu %A Lin, Zuoquan %B CEEMAS %D 2005 %E Pechoucek, Michal %E Petta, Paolo %E Varga, László Zsolt %I Springer %K dblp %P 296-305 %T Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect. %U http://dblp.uni-trier.de/db/conf/ceemas/ceemas2005.html#ZhaoFZYL05 %V 3690 %@ 3-540-29046-X

@inproceedings{conf/ceemas/ZhaoFZYL05, added-at = {2017-05-26T00:00:00.000+0200}, author = {Zhao, Xinyu and Fan, Shaofeng and Zhang, Runjie and Yue, Anbu and Lin, Zuoquan}, biburl = {https://www.bibsonomy.org/bibtex/29e96e812b9cf87f7e3244c2acd8585f8/dblp}, booktitle = {CEEMAS}, crossref = {conf/ceemas/2005}, editor = {Pechoucek, Michal and Petta, Paolo and Varga, László Zsolt}, ee = {https://doi.org/10.1007/11559221_30}, interhash = {f80df7aa399a75e3e92ef64f98f42887}, intrahash = {9e96e812b9cf87f7e3244c2acd8585f8}, isbn = {3-540-29046-X}, keywords = {dblp}, pages = {296-305}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:08:06.000+0200}, title = {Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect.}, url = {http://dblp.uni-trier.de/db/conf/ceemas/ceemas2005.html#ZhaoFZYL05}, volume = 3690, year = 2005 }