Alun D. Preece. C::OVERAGE::: verifying multiple-agent knowledge-based systems. Knowl.-Based Syst., 12(1-2):37-44, 1999. [doi]
@article{Preece99, title = {C::OVERAGE::: verifying multiple-agent knowledge-based systems}, author = {Alun D. Preece}, year = {1999}, doi = {10.1016/S0950-7051(99)00006-4}, url = {http://dx.doi.org/10.1016/S0950-7051(99)00006-4}, tags = {rule-based, C++}, researchr = {https://researchr.org/publication/Preece99}, cites = {0}, citedby = {0}, journal = {Knowl.-Based Syst.}, volume = {12}, number = {1-2}, pages = {37-44}, }