A prescriptive formal model for data-path hardware
Year: 1992
Type: article
DOI: 10.1109/43.124396
Authors: D.W. Knapp, M. Winslett
Institution: University of Illinois Urbana-Champaign
Language: English
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2099698078