Thaddeus J. Kowalski, Donald E. Thomas
The VLSI Design Automation Assistant: Prototype system
DAC, 1983.
@inproceedings{DAC-1983-KowalskiT, acmid = "800711", author = "Thaddeus J. Kowalski and Donald E. Thomas", booktitle = "{Proceedings of the 20th Design Automation Conference}", isbn = "0-8186-0026-8", pages = "479--483", publisher = "{ACM/IEEE}", title = "{The VLSI Design Automation Assistant: Prototype system}", year = 1983, }