Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Forschung
Projekte
Promotionen/Habilitationen
Publikationen
Navigation ausblenden
Publikation: Teil einer Monographie/eines Konferenzbandes
Portfolio management in explicit model checking
Grunddaten
Autoren
Einrichtung
Grunddaten
Titel
Portfolio management in explicit model checking
Erscheinungsjahr
2020
Seiten (von – bis)
10 – 28
Jahr
2020
Publikationsform
Elektronische Ressource
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
Letzte Änderung
20.12.2023 13:01:57
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/70677
Links zu Katalogen
Autor
Wolf, Karsten
Einrichtung
IEF/IN/IFI/Theoretische Informatik