Issues in verification of distributed rule bases

author
statement of authorship
Jaak Tepandi
source
ISAT '91
year of publication
pages
p. 164-174
subject term
language
inglise