CaltechAUTHORS
  A Caltech Library Service
Login

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

[img]
Preview
 PDF
See Usage Policy.
3MB

Use this Persistent URL to link to this item: https://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:https://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:INVALID USER
Deposited On:23 Apr 2012 21:23
Last Modified:03 Oct 2019 03:48

Repository Staff Only: item control page

CaltechAUTHORS is powered by EPrints 3.3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.