> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Improved Invariant Generation for Tvoc Beteiligte: Fang, Yi; Zuck, Lenore D. Erschienen: Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science, 176 (2007) 3, Seite 21-35 Sprache: Englisch DOI: 10.1016/j.entcs.2006.06.016 ISSN: 1571-0661 Schlagwörter: General Computer Science ; Theoretical Computer Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang