TITLE     : The nucleus of a three-valued functional simulator for logic verification: description and performance experiments
AUTHOR(S) : Alia G, Ciompi P, Martinelli E, Bernardini F
TYPE      : Journal article
YEAR      : 1980
CODE      : 421768

*** DO NOT EDIT THIS FILE ***