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