%0 Conference Paper %1 conf/aamas/Singh12 %A Singh, Munindar P. %B AAMAS %D 2012 %E van der Hoek, Wiebe %E Padgham, Lin %E Conitzer, Vincent %E Winikoff, Michael %I IFAAMAS %K dblp %P 1149-1156 %T Semantics and verification of information-based protocols. %U http://dblp.uni-trier.de/db/conf/atal/aamas2012.html#Singh12

@inproceedings{conf/aamas/Singh12, added-at = {2015-03-19T00:00:00.000+0100}, author = {Singh, Munindar P.}, biburl = {https://www.bibsonomy.org/bibtex/2666191ff895c623903b8dbbc521228d9/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2012}, editor = {van der Hoek, Wiebe and Padgham, Lin and Conitzer, Vincent and Winikoff, Michael}, ee = {http://dl.acm.org/citation.cfm?id=2343861}, interhash = {10e0544481c389e544d9093f38a32903}, intrahash = {666191ff895c623903b8dbbc521228d9}, keywords = {dblp}, pages = {1149-1156}, publisher = {IFAAMAS}, timestamp = {2015-06-21T02:16:39.000+0200}, title = {Semantics and verification of information-based protocols.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2012.html#Singh12}, year = 2012 }