[IEEE IEEE 1996 National Aerospace and Electronics Conference NAECON 1996 - Dayton, OH, USA (20-23 May 1996)] Proceedings of the IEEE 1996 National Aerospace and Electronics Conference NAECON 1996 - Proof strategies for hardware verification
Eastham, R., Thirunarayan, K.Volume:
2
Year:
1996
Language:
english
DOI:
10.1109/NAECON.1996.517689
File:
PDF, 587 KB
english, 1996