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
Publikation: Teil einer Monographie/eines Konferenzbandes
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
Grunddaten
Autoren
Einrichtung
Grunddaten
Titel
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
Erscheinungsjahr
2021
Seiten (von – bis)
150 – 164
Jahr
2021
Publikationsform
Druckschrift
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
Letzte Änderung
10.03.2022 06:02:18
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/67702
Links zu Katalogen
Autoren
Liebke, Torsten
Wolf, Karsten
Einrichtung
IEF/IN/IFI/Theoretische Informatik