Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications (bibtex)
by ,
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}
}
Powered by bibtexbrowser