Henzinger, T. A. (Thomas A.)

ID:DA10023895

別名: Henzinger, Thomas A.

同姓同名の著者を検索

検索結果6件中 1-6 を表示

1

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings

Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

Springer c2010 Lecture notes in computer science 6246

所蔵館2館
2

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Jacques Duparc, Thomas A. Henzinger (eds.)

Springer c2007 Lecture notes in computer science 4646

所蔵館5館
3

Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Thomas A. Henzinger, Christoph M. Kirsch (eds.)

Springer c2001 Lecture notes in computer science 2211

所蔵館30館
4

Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings

Thomas A. Henzinger, Shankar Sastry (eds.)

Springer-Verlag c1998 Lecture notes in computer science 1386

所蔵館45館
5

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 Lecture notes in computer science 1102

所蔵館53館
6

Hybrid systems III : verification and control

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, (eds.)

Springer c1996 Lecture notes in computer science 1066

所蔵館55館

この著者を外部サイトでさがす

関連著者

ページトップへ