BibTeX record conf/eurosys/TangS0WOM24

download as .bib file

@inproceedings{DBLP:conf/eurosys/TangS0WOM24,
  author       = {Ruize Tang and
                  Xudong Sun and
                  Yu Huang and
                  Yuyang Wei and
                  Lingzhi Ouyang and
                  Xiaoxing Ma},
  title        = {SandTable: Scalable Distributed System Model Checking with Specification-Level
                  State Exploration},
  booktitle    = {Proceedings of the Nineteenth European Conference on Computer Systems,
                  EuroSys 2024, Athens, Greece, April 22-25, 2024},
  pages        = {736--753},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3627703.3650077},
  doi          = {10.1145/3627703.3650077},
  timestamp    = {Sat, 04 May 2024 10:55:08 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/TangS0WOM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.