Sciweavers

DEXAW
1998
IEEE
96views Database» more  DEXAW 1998»
14 years 4 months ago
Verification of Multiple Agent Knowledge-Based Systems
Thepurposeof this paperis to extendverificationtests to systemswith multiple autonomousagent knowledge bases.Usinga classic approachto verification, this paperfocuseson tests conc...
Daniel E. O'Leary