URI(s)
Variants
- Hailpern, Brent Tzion, 1955-
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His Verifying concurrent processes using temporal logic, 1982:CIP t.p. (Brent T. Hailpern) data sheet (Brent Tzion Hailpern; b. 1-11-55)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1982-02-22: new
- 1984-03-22: revised
Alternate Formats