> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: SAT-based Abstraction Refinement for Real-time Systems Beteiligte: Kemper, Stephanie; Platzer, André Erschienen: Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science, 182 (2007), Seite 107-122 Sprache: Englisch DOI: 10.1016/j.entcs.2006.09.034 ISSN: 1571-0661 Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang