Dimitrova, Rayna International Max Planck Research School, MPI for Informatics, Max Planck Society;
http://scidok.sulb.uni-saarland.de/doku/urheberrecht.php?la=de (Copyright transfer agreement)
http://scidok.sulb.uni-saarland.de/volltexte/2007/1333/ (Any fulltext)
Dimitrova, R. (2006). Model Checking with Abstraction Refinement for Well-structured Systems. Master Thesis, Universität des Saarlandes, Saarbrücken.