Alternating Epistemic Mu-Calculus (bibtex)
by N. Bulling, W. Jamroga
Reference:
Alternating Epistemic Mu-Calculus (N. Bulling, W. Jamroga), In Proceedings of IJCAI-11, 2011.
Bibtex Entry:
@InProceedings{Bulling2011,
  Title                    = {Alternating Epistemic Mu-Calculus},
  Author                   = {N. Bulling and W. Jamroga},
  Booktitle                = {Proceedings of {IJCAI-11}},
  Year                     = {2011},
  Pages                    = {109--114},

  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser