T. A. Henzinger
4 published titles
Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998 : proceedings
(Contributor)
1 edition
- ISBN: 3540643583
- Springer Verlag
- 1998
- Details
Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540426736
- Springer
- 2001
- Details
Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642360442
- Springer
- 2013
- Details
Computational methods in systems biology : 11th international conference, CMSB 2013 Klosterneuberg, Austria, September 22-24, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642407079
- Springer
- 2013
- Details
