MPG.eBooks - Author Search Results

Cover Image

1

Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

by Henzinger, Thomas A
Published 1998

Springer Berlin Heidelberg

Cover Image

2

Embedded Software : First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

by Henzinger, Thomas A
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

3

Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Henzinger, Thomas A....”

Cover Image

4

Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Henzinger, Thomas A....”

Cover Image

5

Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Henzinger, Thomas A....”

Cover Image

6

Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Henzinger, Thomas A....”

Cover Image

7

Embedded Software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Henzinger, Thomas A....”

Cover Image

8

Hybrid Systems III : Verification and Control

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Henzinger, Thomas A....”

Cover Image

9

Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Henzinger, Thomas A....”

Cover Image

10

Handbook of Model Checking

Published 2018

Springer International Publishing

Other Authors: “...Henzinger, Thomas A....”