@inproceedings{DaumDSW_VSTTE08-161, <br>AUTHOR = {Daum, Matthias and Dörrenbächer, Jan and Schmidt, Mareike and Wolff, Burkhart},<br>TITLE = {A Verification Approach for System-level Concurrent Programs},<br>VOLUME = {5295/2008}, <br>YEAR = {2008},<br>PAGES = {161-176}, <br>URL = {http:///publikationen/DaumDSW_VSTTE08-161.pdf}, <br>SERIES = {LNCS},<br>BOOKTITLE = {Verified Software: Theories, Tools, and Experiments}, <br>PUBLISHER = {Springer},<br>EDITOR = {Woodcock, Jim and Shankar, Natarajan},<br>EE = {http://dx.doi.org/10.1007/978-3-540-87873-5_15},<br>}