zum Hauptmenü
zum Inhalt
mehr
Schnellsuche:
OK
Suchergebnis
Suche verändern
Die Universität
Universitäts- und Landesbibliothek (ULB)
Alle Bibliotheken
Digitale Sammlungen
Archiv für Kindertexte
Elektronische Pflichtexemplare
Historische Zeitungen
Inhouse-Digitalisierung
Kartensammlung
Lepsius Digital
Inhalt
Inhalt
Listen
Neuzugänge
Titel
Autor / Beteiligte
Verlagsort
Drucker / Verleger
Erscheinungsjahr
Clouds
Keywords
Verlagsorte
Autoren / Beteiligte
Verlage
Erscheinungsjahre
Autoren / Beteiligte
1
Einträge für
Hoffmann, Roberto
1
Einträge für
Molitor, Paul
Verlagsorte
1
Einträge für
Halle Saale
Zeiträume
1
Einträge für
2001-2010
1 Treffer
zu den Filteroptionen
Suche nach:
Autor / Beteiligte = "Kabel, Claudia" und Sammlung = Elektronische Pflichtexemplare
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