CaltechAUTHORS
  A Caltech Library Service

Theory and Use of Conditional Composition

Manohar, Rajit and Leino, K. Rustan M. (1994) Theory and Use of Conditional Composition. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

226Kb
[img]
Preview
PDF - Submitted Version
See Usage Policy.

182Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12

Abstract

[No abstract available]


Item Type:Report or Paper (Technical Report)
Additional Information:© 1994 California Institute of Technology. July 1, 1994. Supported in part by Air Force Office of Scientific Research grant number 61301.
Group:Computer Science Technical Reports
Funders:
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)61301
DOI:10.7907/Z9VD6WGD
Record Number:CaltechCSTR:1994.cs-tr-94-12
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-12
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26791
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:25 Apr 2001
Last Modified:23 May 2017 18:34

Repository Staff Only: item control page