Which probabalistic programs are modelcheckable?

2026

VerantwortlichkeitsangabeSamuel Akinlaja

ImpressumAachen 2026

Bachelorarbeit, Rheinisch-Westfälische Technische Hochschule Aachen, 2026

Genehmigende Fakultät
Fak09

Hauptberichter/Gutachter
Katoen, Joost-Pieter (Thesis advisor)^RWTH* ; Noll, Thomas (Thesis advisor)^RWTH* ; Zilken, Daniel Johannes (Consultant)^RWTH*

Tag der mündlichen Prüfung/Habilitation
2026-02-13

Thematische Einordnung (Klassifikation)
DDC: 004

Dokumenttyp
Bachelor Thesis

Herkunft
Public Reference

Sprache
English

Interne Identnummern
RWTH-2026-02946
Datensatz-ID: 1030347

Beteiligte Länder
Germany

Record created 2026-03-07, last modified 2026-03-09

Similar records

Restricted:

PDF

Rate this document:

(Not yet reviewed)

h1