著者典拠情報

著者標目形：
Henzinger, T. A. (Thomas A.)
属性：
Personal
から見よ参照形：
Henzinger, Thomas A.
注記：
His An interleaving model for real time, 1990: t.p. (T.A. Henzinger) p. 1 (Thomas A. Henzinger; Dept. of Comput. Sci., Stanford Univ.)
Hybrid systems III, c1996: CIP t.p. (Thomas A. Henzinger) t.p. verso, etc. (Univ. of Calif., Berkeley; b. 12-08-62)
SRC:Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger (eds.)(Springer-Verlag, c1996)
著者典拠ID：
DA10023895


1.

図書
図書
1. Embedded software : Firsth International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
Thomas A. Henzinger, Christoph M. Kirsch (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2211 . lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書
図書
2. Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Rajeev Alur, Thomas A. Henzinger, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1102
所蔵情報: 図書館