Bader, M. B. (Author)
URL: https://publications.rwth-aachen.de/record/70270/files/70270_kardex.pdf
Neuhäußer, M. R. (Author) ; Katoen, J.-P. (Thesis advisor)
URN: urn:nbn:de:hbz:82-opus-31369