guest ::
Design and implementation of an interactive exploration tool for probabilistic programs
2020
Masterarbeit, RWTH Aachen University, 2020
Genehmigende Fakultät
Fak01
Hauptberichter/Gutachter
;
Tag der mündlichen Prüfung/Habilitation
2020-09-09
Online
URL: https://publications.rwth-aachen.de/record/802809/files/main.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Restricted: 
PDF
Dokumenttyp
Master Thesis
Format
print
Sprache
English
Interne Identnummern
RWTH-2020-09460
Datensatz-ID: 802809
Beteiligte Länder
Germany
|
The record appears in these collections: |
Record created 2020-09-24, last modified 2025-10-21
Restricted:
PDF
PDF