Larry N. Dunn
An overview of the design and verification subsystem of the Engineering Design System
DAC, 1983.
@inproceedings{DAC-1983-Dunn,
acmid = "800670",
author = "Larry N. Dunn",
booktitle = "{Proceedings of the 20th Design Automation Conference}",
isbn = "0-8186-0026-8",
pages = "237--238",
publisher = "{ACM/IEEE}",
title = "{An overview of the design and verification subsystem of the Engineering Design System}",
year = 1983,
}