%0 Conference Paper %1 conf/mates/DelgadoB09 %A Delgado, Carla A. D. M. %A Benevides, Mario R. F. %B MATES %D 2009 %E Braubach, Lars %E van der Hoek, Wiebe %E Petta, Paolo %E Pokahr, Alexander %I Springer %K dblp %P 16-28 %T Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. %U http://dblp.uni-trier.de/db/conf/mates/mates2009.html#DelgadoB09 %V 5774 %@ 978-3-642-04142-6

@inproceedings{conf/mates/DelgadoB09, added-at = {2022-12-07T00:00:00.000+0100}, author = {Delgado, Carla A. D. M. and Benevides, Mario R. F.}, biburl = {https://www.bibsonomy.org/bibtex/22221fd961c491e820517b54ceac9bd42/dblp}, booktitle = {MATES}, crossref = {conf/mates/2009}, editor = {Braubach, Lars and van der Hoek, Wiebe and Petta, Paolo and Pokahr, Alexander}, ee = {https://doi.org/10.1007/978-3-642-04143-3_3}, interhash = {0de215e7b7ad01c8771d6b73e142d2cb}, intrahash = {2221fd961c491e820517b54ceac9bd42}, isbn = {978-3-642-04142-6}, keywords = {dblp}, pages = {16-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:34:27.000+0200}, title = {Verification of Epistemic Properties in Probabilistic Multi-Agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/mates/mates2009.html#DelgadoB09}, volume = 5774, year = 2009 }