BibTeX record journals/entcs/TewsWV08

• > Home > journals/entcs/TewsWV08

@inproceedings{DBLP:journals/entcs/TewsWV08,
  author       = {Hendrik Tews and
                  Tjark Weber and
                  Marcus V{\"{o}}lp},
  editor       = {Ralf Huuck and
                  Gerwin Klein and
                  Bastian Schlich},
  title        = {A Formal Model of Memory Peculiarities for the Verification of Low-Level
                  Operating-System Code},
  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        = {79--96},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.06.043},
  doi          = {10.1016/J.ENTCS.2008.06.043},
  timestamp    = {Fri, 17 Feb 2023 10:38:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TewsWV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}