Search

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

Search Results

1. Computer Aided Verification
thumbnail
Full text!
Author:
Damm, Werner; Hermanns, Holger
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
2. CONCUR 2006 – Concurrency Theory
thumbnail
Full text!
Author:
Baier, Christel; Hermanns, Holger; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Hermanns, Holger; Kanade, Takeo; Palsberg, Jens; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2006
Format:
e-book