Specification and Verification of Multi-Agent Systems (bibtex)
by W. Jamroga, W. Penczek
Reference:
Specification and Verification of Multi-Agent Systems (W. Jamroga, W. Penczek), Chapter in Lectures on Logic and Computation (N. Bezhanishvili, V. Goranko, eds.), Springer, volume 7388, 2012.
Bibtex Entry:
@InCollection{Jamroga2012,
  Title                    = {Specification and Verification of Multi-Agent Systems},
  Author                   = {W. Jamroga and W. Penczek},
  Booktitle                = {Lectures on Logic and Computation},
  Publisher                = {Springer},
  Year                     = {2012},
  Editor                   = {N. Bezhanishvili and V. Goranko},
  Pages                    = {210--263},
  Series                   = {LNCS},
  Volume                   = {7388},

  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser