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 }, }