by Gerlind Herberich, Thomas Noll, Bastian Schlich, Carsten Weise
Reference:
Proving Correctness of an Efficient Abstraction for Interrupt Handling (Gerlind Herberich, Thomas Noll, Bastian Schlich, Carsten Weise), In Electronic Notes in Theoretical Computer Science, Elsevier, volume 217, 2008. (Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008))
Bibtex Entry:
@article { HNSW08,
author = { Herberich, Gerlind and Noll, Thomas and Schlich, Bastian and
Weise, Carsten },
doi = { 10.1016/j.entcs.2008.06.046 },
issn = { 1571-0661 },
journal = { Electronic Notes in Theoretical Computer Science },
note = { Proceedings of the 3rd International Workshop on Systems
Software Verification (SSV 2008) },
pages = { 133--150 },
publisher = { Elsevier },
title = { Proving Correctness of an Efficient Abstraction for
Interrupt Handling },
volume = { 217 },
year = { 2008 },
i11key = { journal },
for_reporting_period = { Old },
}