C::OVERAGE::: verifying multiple-agent knowledge-based systems

Alun D. Preece. C::OVERAGE::: verifying multiple-agent knowledge-based systems. Knowl.-Based Syst., 12(1-2):37-44, 1999. [doi]

Abstract

Abstract is missing.