Record Type
Proceedings

Contributor Information

Author(s)
Blair-Smith H, Katz R, Kleyner I

Title Information

Full Title
Back to the moon: The verification of a small microprocessor's logic design

Identifiers

DOI
10.1109/DASC.2008.4702854
ISBN
9781424422081

Publication Information

Publication Date
2008 Oct
First Page
5.C.3
Last Page
1

Conference Information

Conference Date
26-30 Oct. 2008
Conference Location
Citation
Blair-Smith H, Katz R, Kleyner I. Back to the moon: The verification of a small microprocessor's logic design. In: Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th. 27th DASC: Digital Avionics Systems Conference; 2008. p. 5.C.3-1.

Copyright