Search

You searched for: Auteur Veith, Helmut Remove constraint Auteur: Veith, Helmut
1 - 5 of 5
Number of results to display per page

Search Results

1. Computer Aided Verification
thumbnail
Full text!
Author:
Sharygina, Natasha; Veith, Helmut; Veith, Helmut
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
2. 25 Years of Model Checking
thumbnail
Full text!
Author:
Grumberg, Orna; Kanade, Takeo; Veith, Helmut; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
3. Computer Science Logic
thumbnail
Full text!
Author:
Dawar, Anuj; Kanade, Takeo; Veith, Helmut; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
4. Handbook of Model Checking
thumbnail
Full text!
Author:
Clarke; Bloem, Roderick; Henzinger, Thomas A.; Veith, Helmut
Publisher:
Springer International Publishing 2018
Format:
e-book
5. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book