A Caltech Library Service

A Hierarchical Simulator Based on Formal Semantics

Chen, Marina and Mead, Carver (1983) A Hierarchical Simulator Based on Formal Semantics. California Institute of Technology , Pasadena, CA. (Unpublished)

See Usage Policy.


Use this Persistent URL to link to this item:



Item Type:Report or Paper (Technical Report)
Additional Information:This work is sponsored by the System Development Foundation. We wish to thank Randy Bryant for insightful discussions and suggestions on the subject of simulation, and Alain Martin for his valuable comments in the preparation of this paper.
Group:Computer Science Technical Reports
Funding AgencyGrant Number
System Development FoundationUNSPECIFIED
Other Numbering System:
Other Numbering System NameOther Numbering System ID
Computer Science Technical Memorandum5068
Record Number:CaltechAUTHORS:20120420-111744031
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:30228
Deposited By: Kristin Buxton
Deposited On:23 Apr 2012 21:23
Last Modified:03 Oct 2019 03:48

Repository Staff Only: item control page