External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of the FTSC microprogram

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]

Abstract

Abstract is missing.

runs on