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