Artifact Details

Title

Formal specification of memory models

Catalog Number

102653432

Type

Document

Date

1991-12

Sindhu, Pradeep S.; Frailong, Jean-Marc; Cekleov, Michel

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Credit

Gift of Mike Rutenberg

Lot Number

X2295.2002