A Graph-Based Logic Validation System
Resource
Proceedings of National Computer Symposium, p.503-510
Journal
Proceedings of National Computer Symposium
Pages
503-510
Date Issued
1987
Date
1987
Author(s)
Lin, Chen-Shang
Publisher
Taipei
Type
conference paper