BibTeX record conf/eurosys/HeiserSDBSA13

• > Home > conf/eurosys/HeiserSDBSA13

@inproceedings{DBLP:conf/eurosys/HeiserSDBSA13,
  author       = {Gernot Heiser and
                  Etienne Le Sueur and
                  Adrian Danis and
                  Aleksander Budzynowski and
                  Tudor{-}Ioan Salomie and
                  Gustavo Alonso},
  editor       = {Zdenek Hanz{\'{a}}lek and
                  Hermann H{\"{a}}rtig and
                  Miguel Castro and
                  M. Frans Kaashoek},
  title        = {RapiLog: reducing system complexity through verification},
  booktitle    = {Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic,
                  April 14-17, 2013},
  pages        = {323--336},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2465351.2465383},
  doi          = {10.1145/2465351.2465383},
  timestamp    = {Wed, 06 Jul 2022 14:43:33 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/HeiserSDBSA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}