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},
PDF = {uploads/pdf/GieseKlein2007a_ag_fulltext.pdf},
OPTacc_pdf = {}
}