Rnjbal, A. ; Pradel, G. (Thesis advisor) ; Dahl, E. (Thesis advisor)
URL: https://publications.rwth-aachen.de/record/1023851/files/1023851_titelseite.pdf
Wolf, A. ; Pradel, G. (Thesis advisor) ; Antonin, W. (Thesis advisor) ; Müller, F. (Consultant) ; ; et al
URL: https://publications.rwth-aachen.de/record/1023845/files/1023845_titelseite.pdf
Sickora, S. ; Bertram, C. (Thesis advisor)
URL: https://publications.rwth-aachen.de/record/1023334/files/1023334.pdf
Stockem, F. ; Müller, M. S. (Thesis advisor) ; Wehrle, K. (Thesis advisor) ; Schwitanski, S. (Consultant)
URL: https://publications.rwth-aachen.de/record/1022962/files/1022962.pdf
Meiser, D. S. ; Noll, T. (Thesis advisor) ; Katoen, J.-P. (Thesis advisor) ; Hermanns, R. (Consultant)
DOI: 10.18154/RWTH-2025-10004
Arens, P. ; Noll, T. (Thesis advisor) ; Katoen, J.-P. (Thesis advisor) ; Fesefeldt, I. J. (Consultant)
URL: https://publications.rwth-aachen.de/record/1022049/files/1022049_titelseite.pdf
Thiemann, S. ; Noll, T. (Thesis advisor) ; Unruh, D. (Thesis advisor)
URL: https://publications.rwth-aachen.de/record/1021471/files/1021471_titelseite.pdf
Stanosek, R. ; Noll, T. (Thesis advisor) ; Katoen, J.-P. (Thesis advisor)
URL: https://publications.rwth-aachen.de/record/1021470/files/1021470_titelseite.pdf
Krachen, M. ; van Treeck, C. A. (Thesis advisor) ; Frisch, J. (Thesis advisor) ; Schlütter, D. (Consultant)
URL: https://publications.rwth-aachen.de/record/1021067/files/1021067.pdf
Riefer, H. ; van Treeck, C. A. (Thesis advisor) ; Frisch, J. (Thesis advisor) ; Abele, O. (Consultant) ; ; et al
URL: https://publications.rwth-aachen.de/record/1021059/files/1021059.pdf