1 Treffer

• Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow Hoffmann, Roberto ; Molitor, Paul Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008