DBLP Record 'conf/coordination/WooldridgeH02'

BibTeX

@inproceedings{DBLP:conf/coordination/WooldridgeH02,
  author    = {Michael Wooldridge and
               Wiebe van der Hoek},
  title     = {Time, Knowledge, and Cooperation: Alternating-Time Temporal
               Epistemic Logic and Its Applications},
  booktitle = {COORDINATION},
  year      = {2002},
  pages     = {4},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2315/23150004.htm},
  crossref  = {DBLP:conf/coordination/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/coordination/2002,
  editor    = {Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Coordination Models and Languages, 5th International Conference,
               COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings},
  booktitle = {COORDINATION},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2315},
  year      = {2002},
  isbn      = {3-540-43410-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}