Auflistung nach Autor "Lemberger, Thomas"
Anzeige der Dokumente 1-2 von 2
-
Combining Verifiers in Conditional Model Checking via Reducers
Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike
151-152 -
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components
Beyer, Dirk; Haltermann, Jan; Lemberger, Thomas; Wehrheim, Heike
37-38