@phdthesis{Daum10,
AUTHOR = {Daum, Matthias},
TITLE = {On the Formal Foundation of a Verification Approach for System-Level Concurrent Programs},
YEAR = {2010},
SCHOOL = {Saarland University, Saarbrücken},
EE = {http://d-nb.info/1009493728},
}