URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Formal methods and digital systems validation for airborne systems, 1993:t.p. (John Rushby)
- found: Email message from author, Jan. 3, 1997(b. Oct. 12, 1949; middle name, Martin)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1997-01-06: new
- 1997-01-09: revised
Alternate Formats