BibTeX record journals/entcs/HerberichSWN08

• > Home > journals/entcs/HerberichSWN08

@inproceedings{DBLP:journals/entcs/HerberichSWN08,
  author       = {Gerlind Herberich and
                  Bastian Schlich and
                  Carsten Weise and
                  Thomas Noll},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {Proving Correctness of an Efficient Abstraction for Interrupt Handling},
  booktitle    = {Proceedings of the 3rd International Workshop on Systems Software
                  Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {217},
  pages        = {133--150},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.06.046},
  doi          = {10.1016/J.ENTCS.2008.06.046},
  timestamp    = {Fri, 17 Feb 2023 10:38:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HerberichSWN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}