by Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
Reference:
Static Analysis of Lockless Microcontroller C Programs (Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski), In Proceedings Seventh Conference on Systems Software Verification (SSV 2012), EPTCS, 2012.
Bibtex Entry:
@inproceedings { BBK12c,
location = { Sydney, Australia },
author = { Beckschulze, Eva and Biallas, Sebastian and Kowalewski,
Stefan },
title = { Static Analysis of Lockless Microcontroller C Programs },
booktitle = { Proceedings Seventh Conference on Systems Software
Verification (SSV 2012) },
series = { EPTCS },
publisher = { EPTCS },
publishedas = { Online },
language = { eng },
pages = { 103--114 },
year = { 2012 },
timestamp = { 2012.10.23 },
i11key = { conference },
url = { http://dx.doi.org/10.4204/EPTCS.102.10 },
for_reporting_period = { 2013 },
}