CaltechAUTHORS
Published 1983 | Version public
Technical Report Open

A Hierarchical Simulator Based on Formal Semantics

Creators

Abstract

N/A

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.

Files

5068_TM_83.pdf

Files (3.9 MB)

Name Size
md5:c3a31734b1163a48b92419e658eabeda
3.9 MB Preview Download

Additional details

Identifiers

Eprint ID
30228
Resolver ID
CaltechAUTHORS:20120420-111744031

Funding

System Development Foundation

Dates

Created
2012-04-23
Created from EPrint's datestamp field
Updated
2019-10-03
Created from EPrint's last_modified field

Caltech Custom Metadata

Caltech groups
Computer Science Technical Reports
Other Numbering System Name
Computer Science Technical Memorandum
Other Numbering System Identifier
5068