Search

You searched for: Auteur Grumberg, Orna Remove constraint Auteur: Grumberg, Orna
1 - 3 of 3
Number of results to display per page

Search Results

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Grumberg, Orna; Huth, Michael
Publisher:
Springer Berlin Heidelberg 2007
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. Languages: From Formal to Natural
thumbnail
Full text!
Author:
Grumberg, Orna; Kaminski, Michael; Kanade, Takeo; Katz, Shmuel; Wintner, Shuly
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book