guest ::
Implementation of an LTL model checker for probabilistic pushdown automata
2022
Bachelorarbeit, RWTH Aachen University, 2022
Genehmigende Fakultät
Fak01
Hauptberichter/Gutachter
; ;
Tag der mündlichen Prüfung/Habilitation
2022-04-27
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Bachelor Thesis
Format
print
Sprache
English
Interne Identnummern
RWTH-2024-06749
Datensatz-ID: 989359
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2024-07-18, last modified 2024-07-20
Restricted:
PDF
PDF