@phdthesis{Lei08,
AUTHOR = {Leinenbach, Dirk},
TITLE = {Compiler Verification in the Context of Pervasive System Verification},
YEAR = {2008},
URL = {http:///publikationen/Lei08.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}