Artifact Details

Title

Formal specification of memory models

Catalog Number

102653432

Type

Text

Date

1991-12

Author

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

Publisher

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Credit

Gift of Mike Rutenberg

Lot Number

X2295.2002