Model Checking Logics of Strategic Ability: Complexity (bibtex)
by N. Bulling, J. Dix, W. Jamroga
Reference:
Model Checking Logics of Strategic Ability: Complexity (N. Bulling, J. Dix, W. Jamroga), Chapter in Specification and Verification of Multi-Agent Systems (M. Dastani, K. Hindriks, J.-J. Meyer, eds.), Springer, 2010.
Bibtex Entry:
@InCollection{Bulling2010b,
  Title                    = {Model Checking Logics of Strategic Ability: Complexity},
  Author                   = {N. Bulling and J. Dix and W. Jamroga},
  Booktitle                = {Specification and Verification of Multi-Agent Systems},
  Publisher                = {Springer},
  Year                     = {2010},
  Editor                   = {M. Dastani and K. Hindriks and J.-J. Meyer},
  Pages                    = {125--159},

  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser