Issues in verification of distributed rule bases
autor
Tepandi, Jaak
vastutusandmed
Jaak Tepandi
allikas
ISAT '91
ilmumisaasta
1991
leheküljed
p. 164-174
märksõna
verifikatsioon
eeskirjad
keel
inglise