PaperA binary encoded incidence matrix representation for KBS Verification
References (8)
- et al.
A Petri-Net Based Approach for Verifying the Integrity of Production Systems
Software Engineering Economics
(1981)Complex knowledge base verification using matrices
- et al.
Knowledge base verification using matrices
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1995 Published by Elsevier Ltd.