Henzinger, T. A. (Thomas A.)
URI(s)
Variants
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
found: His An interleaving model for real time, 1990:t.p. (T.A. Henzinger) p. 1 (Thomas A. Henzinger; Dept. of Comput. Sci., Stanford Univ.)
found: Hybrid systems III, c1996:CIP t.p. (Thomas A. Henzinger) t.p. verso, etc. (Univ. of Calif., Berkeley; b. 12-08-62)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
1991-08-14: new
1996-04-01: revised
Alternate Formats