CaltechAUTHORS
  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) http://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031

[img]
Preview
PDF
See Usage Policy.

3813Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031

Abstract

N/A


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
Funders:
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:http://resolver.caltech.edu/CaltechAUTHORS:20120420-111744031
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:30228
Collection:CaltechCSTR
Deposited By: Kristin Buxton
Deposited On:23 Apr 2012 21:23
Last Modified:26 Dec 2012 15:06

Repository Staff Only: item control page