Media type: E-Article Title: Improved Invariant Generation for Tvoc Contributor: Fang, Yi; Zuck, Lenore D. Published: Elsevier BV, 2007 Published in: Electronic Notes in Theoretical Computer Science, 176 (2007) 3, Seite 21-35 Language: English DOI: 10.1016/j.entcs.2006.06.016 ISSN: 1571-0661 Keywords: General Computer Science ; Theoretical Computer Science Origination: Footnote: Access State: Open Access