Combinational circuit design verification using SETS
By: Lawrence H. Goldstein, 2113, Richard B. Worrell, Division 1758, Sandia Laboratories ; prepared by Sandia Laboratories ... for the United States Department of Energy under contract AT(29-1)-789.
Contributors: Worrell, Richard B.; United States. Dept. of Energy.; Sandia Laboratories. Computer-Aided Design Division 2113.; Sandia Laboratories. Safeguards Evaluation Division 1758.
Series: SAND ; 1933; SAND (Series) (Albuquerque, N.M.) -- 1933.
Publisher: Dept. of Energy, Sandia Laboratories; for sale by the National Technical Information Service]
Published: 1978
Place of publication: Albuquerque, N.M; [Springfield, Va
Language: eng
Number of pages: 23
Subjects: Algebra, Boolean.; Combinatorial set theory.
Notes: Oct. 1978.

Includes bibliographical references.