Daniel Kröning, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig
Effective verification of low-level software with nested interrupts
DATE, 2015.
@inproceedings{DATE-2015-KroeningLMST,
acmid = "2755803",
author = "Daniel Kröning and Lihao Liang and Tom Melham and Peter Schrammel and Michael Tautschnig",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "229--234",
publisher = "{ACM}",
title = "{Effective verification of low-level software with nested interrupts}",
year = 2015,
}