Henzinger, T. A. (Thomas A.)

ID:DA10023895

Alias Name: Henzinger, Thomas A.

Search authors sharing the same name

Search Results1-6 of 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

Available at 2 libraries
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

Available at 5 libraries
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

Available at 30 libraries
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

Available at 45 libraries
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

Available at 54 libraries
6

Hybrid systems III : verification and control

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

Springer c1996 Lecture notes in computer science 1066

Available at 55 libraries

Search this author

Related Authors

Page Top