Nguyen, V. Y. (Author) ; Katoen, J.-P. (Thesis advisor)
URN: urn:nbn:de:hbz:82-opus-47785
Dilthey, U. (Author)
URL: https://publications.rwth-aachen.de/record/66478/files/66478_kardex.pdf