On the Role of Read and Write Frames in Algorithm Refinement for States with Invariants

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/25060
Record Status	Checked
Record Id	25060
Title	On the Role of Read and Write Frames in Algorithm Refinement for States with Invariants
Contributors	Juan Bicarregui (Rutherford)
Abstract
Organisation	SERC
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Report	RAL-92-011. 1992.		RAL-TR-1992-011.pdf	1992