@phdthesis{Krinke2004, author = {Jens Krinke}, title = {Advanced Slicing of Sequential and Concurrent Programs}, school = {Universit{\"a}t Passau}, year = {2004}, }