Search

You searched for: Auteur Henzinger, Thomas A. Remove constraint Auteur: Henzinger, Thomas A.
1 - 5 of 5
Number of results to display per page

Search Results

1. Computational Methods in Systems Biology
thumbnail
Full text!
Author:
Gupta, Ashutosh; Henzinger, Thomas A.; Henzinger, Thomas A.
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
2. Handbook of Model Checking
thumbnail
Full text!
Author:
Clarke; Bloem, Roderick; Henzinger, Thomas A.; Veith, Helmut
Publisher:
Springer International Publishing 2018
Format:
e-book
3. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Author:
Chatterjee, Krishnendu; Henzinger, Thomas A.; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
4. Mathematical and Engineering Methods in Computer Science
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Antos, David; Henzinger, Thomas A.; Nesetřil, Jaroslav; Vojnar, Tomás
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
5. Computer Science Logic
thumbnail
Full text!
Author:
Duparc, Jacques; European Association for Computer Science Logic.; Henzinger, Thomas A.; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book