Analysis of concurrent probabilistic programs with shared variables

Gasser, Fabian; Noll, Thomas (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Fesefeldt, Ira Justus (Consultant)

Aachen (2021)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2021