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), Springer, 2012.
Bibtex Entry:
@Other{10993/11181,
  Title                    = {Specification and Verification of Multi-Agent Systems},
  Author                   = {Jamroga, W. and Penczek, W.},
  Publisher                = {Springer},
  Timestamp                = {2015.01.26},
  Year                     = {2012}
}
Powered by bibtexbrowser