h1

h2

h3

h4

h5
h6
TY  - THES
AU  - Dural, Umut Yigit
TI  - Automatic algorithm selection for probabilistic model checking using machine learning
PB  - RWTH Aachen University
VL  - Bachelorarbeit
CY  - Aachen
M1  - RWTH-2024-00737
PY  - 2023
N1  - Bachelorarbeit, RWTH Aachen University, 2023
LB  - PUB:(DE-HGF)2
UR  - https://publications.rwth-aachen.de/record/977479
ER  -