guest ::
Automata-based semantics for the probabilistic programming language ReDiP
2025
Masterarbeit, RWTH Aachen University, 2025
Veröffentlicht auf dem Publikationsserver der RWTH Aachen University
Genehmigende Fakultät
Fak01
Hauptberichter/Gutachter
; ;
Tag der mündlichen Prüfung/Habilitation
2025-04-01
Online
DOI: 10.18154/RWTH-2025-03289
URL: https://publications.rwth-aachen.de/record/1008978/files/1008978.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Master Thesis
Format
online
Sprache
English
Interne Identnummern
RWTH-2025-03289
Datensatz-ID: 1008978
Beteiligte Länder
Germany
|
The record appears in these collections: |
PDF