> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Abstraction refinement with craig interpolation and symbolic pushdown systems Beteiligte: Esparza, Javier [VerfasserIn]; Kiefer, Stefan [VerfasserIn]; Schwoon, Stefan [VerfasserIn] Erschienen: Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart Erschienen in: Technischer Bericht ; 2006,2 Umfang: 21 S. Sprache: Englisch Identifikator: Schlagwörter: Model Checking Art der Reproduktion: Online-Ausg. Hersteller der Reproduktion: Stuttgart: Universitätsbibliothek der Universität Stuttgart Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang