%0 Conference Paper %1 conf/dac/Dunn83 %A Dunn, Larry N. %B DAC %D 1983 %E Radke, Charles E. %I ACM/IEEE %K dblp %P 237-238 %T An overview of the design and verification subsystem of the Engineering Design System. %U http://dblp.uni-trier.de/db/conf/dac/dac1983.html#Dunn83 %@ 0-8186-0026-8

@inproceedings{conf/dac/Dunn83, added-at = {2012-03-01T00:00:00.000+0100}, author = {Dunn, Larry N.}, biburl = {https://www.bibsonomy.org/bibtex/216bede5f4787855985a3eeae9f76e39f/dblp}, booktitle = {DAC}, crossref = {conf/dac/1983}, editor = {Radke, Charles E.}, ee = {http://dl.acm.org/citation.cfm?id=800670}, interhash = {5b861e5a41772331bfc971a13f992b69}, intrahash = {16bede5f4787855985a3eeae9f76e39f}, isbn = {0-8186-0026-8}, keywords = {dblp}, pages = {237-238}, publisher = {ACM/IEEE}, timestamp = {2012-03-02T11:34:57.000+0100}, title = {An overview of the design and verification subsystem of the Engineering Design System.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1983.html#Dunn83}, year = 1983 }