C<sub>OVERAGE</sub>: verifying multiple-agent knowledge-based systems.

Alun D. Preece C<sub>OVERAGE</sub>: verifying multiple-agent knowledge-based systems. 37-44 1999 12 Knowl.-Based Syst. 1-2 http://dx.doi.org/10.1016/S0950-7051(99)00006-4 db/journals/kbs/kbs12.html#Preece99