Verification of the FTSC microprogram - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dono Van-Mierop, Leo Marcus, Steve Crocker. Verification of the FTSC microprogram. In Stephen D. Crocker, Gearold Johnson, Alice Parker, John Ashlstrom, editors, Proceedings of the 11th annual workshop on Microprogramming, MICRO 1978, Asilomar (Pacific Grove), California, USA, November 19-22, 1978. pages 118, ACM, 1978. [doi]

This author has not been identified. Look up 'Dono Van-Mierop' in GoogleThis author has not been identified. Look up 'Leo Marcus' in GoogleThis author has not been identified. Look up 'Steve Crocker' in Google

runs on WebDSL