ePubs

The open archive for STFC research publications

Full Record Details

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
Abstract
Organisation SERC
Keywords
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Report RAL-92-011. 1992. RAL-TR-1992-011.pdf 1992
Showing record 1 of 1
RCUK
Science and Technology Facilities Council Switchboard: 01793 442000