Lloyd Wilkins. Module design verification system. In Patricia H. Lambert, Hillel Ofek, Lawrence A. O'Neill, Pat O. Pistilli, Paul Losleben, J. D. Nash, Dennis W. Shaklee, Bryan T. Preas, Harvey N. Lerman, editors, Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984. pages 282-287, ACM/IEEE, 1984. [doi]
@inproceedings{Wilkins84-0,
title = {Module design verification system},
author = {Lloyd Wilkins},
year = {1984},
url = {http://dl.acm.org/citation.cfm?id=800809},
researchr = {https://researchr.org/publication/Wilkins84-0},
cites = {0},
citedby = {0},
pages = {282-287},
booktitle = {Proceedings of the 21st Design Automation Conference, DAC '84, Albuquerque, New Mexico, June 25-27, 1984},
editor = {Patricia H. Lambert and Hillel Ofek and Lawrence A. O'Neill and Pat O. Pistilli and Paul Losleben and J. D. Nash and Dennis W. Shaklee and Bryan T. Preas and Harvey N. Lerman},
publisher = {ACM/IEEE},
isbn = {0-8186-0542-1},
}