Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications

Giese, Holger; Klein, Florian

by Holger Giese, Florian Klein

Reference:

Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications (Holger Giese, Florian Klein), In International Journal on Agent-Oriented Software Engineering (IJAOSE), volume 1, 2007.

Bibtex Entry:

@Article{GieseKlein2007a_ag,
  AUTHOR = {Giese, Holger and Klein, Florian},
  TITLE = {{Systematic Verification of Multi-Agent Systems based on
  Rigorous Executable Specifications}},
  YEAR = {2007},
  MONTH = {April},
  JOURNAL = {International Journal on Agent-Oriented Software Engineering
  (IJAOSE)},
  VOLUME = {1},
  NUMBER = {1},
  PAGES = {28--62},
}