Iskander, G. R. (Author)
URL: https://publications.rwth-aachen.de/record/70288/files/70288_kardex.pdf
Han, T. (Author) ; Katoen, J.-P. (Thesis advisor)
URN: urn:nbn:de:hbz:82-opus-31398