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

Datensatz erzeugt am 2026-03-07, letzte Änderung am 2026-03-09

Restricted:

PDF

Dieses Dokument bewerten:

(Bisher nicht rezensiert)

h1