Verification of microprogrammed computer architectures in the S*-system: a case study Academic Article
Overview
publication date
- December 1, 1985
has subject area
published in
- ACM Sigmicro Newsletter Journal
Identity
Digital Object Identifier (DOI)
Additional Document Info
start page
- 61
end page
- 73
volume
- 16
issue
- 4