Autor / Beteiligte

• What graphs can be efficiently represented by BDDs? Dong, C. ; Molitor, Paul Halle (Saale), 2005 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2005 ; Göttingen : Niedersächsische Staats- und Universitätsbibliothek, 2005

• 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

• Using Hardware Tokens for Authentication of Multiple Client Application Making Single Sign-On Possible Wefel, Sandro ; Molitor, Paul Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008