@inproceedings{conf/tark/WangKE09,
  added-at = {2009-07-20T00:00:00.000+0200},
  author = {Wang, Yanjing and Kuppusamy, Lakshmanan and van Eijck, Jan},
  biburl = {http://www.bibsonomy.org/bibtex/29072d0867e741fdd9fd1f482645ce9c4/dblp},
  booktitle = {TARK},
  crossref = {conf/tark/2009},
  date = {2009-07-20},
  description = {dblp},
  editor = {Heifetz, Aviad},
  ee = {http://doi.acm.org/10.1145/1562814.1562848},
  interhash = {d730bf629a486d4ae3aa02eabb390413},
  intrahash = {9072d0867e741fdd9fd1f482645ce9c4},
  keywords = {dblp},
  pages = {257-266},
  timestamp = {2009-07-20T00:00:00.000+0200},
  title = {Verifying epistemic protocols under common knowledge.},
  url = {http://dblp.uni-trier.de/db/conf/tark/tark2009.html#WangKE09},
  year = 2009
}