ML Anthology

Model Checking Temporal Logics of Knowledge in Distributed Systems

Kaile Su
AAAI 2004 pp. 98-103
/aaai/2004/su2004aaai-model/
PDF AAAI Semantic Scholar

Cite

Text

Su. "Model Checking Temporal Logics of Knowledge in Distributed Systems." AAAI Conference on Artificial Intelligence, 2004.

Markdown

[Su. "Model Checking Temporal Logics of Knowledge in Distributed Systems." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/su2004aaai-model/)

BibTeX

@inproceedings{su2004aaai-model,
  title     = {{Model Checking Temporal Logics of Knowledge in Distributed Systems}},
  author    = {Su, Kaile},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {98-103},
  url       = {https://mlanthology.org/aaai/2004/su2004aaai-model/}
}