AVIS
Subtitle: an automatic verification system for CAD circuit-data base using PADIKS
By: by Ming-Tsair Dai
Published: 1989
Language: eng
Number of pages: 228
Subjects: Computer network protocols; Expert systems (Computer science); CAD/CAM systems
Notes: Typescript.

Vita.

Thesis (Ph. D.)--University of Florida, 1989.

Includes bibliographical references (leaves 221-227)