BibTeX record conf/cav/BaylessBDJLTJJZ20

• > Home > conf/cav/BaylessBDJLTJJZ20

@inproceedings{DBLP:conf/cav/BaylessBDJLTJJZ20,
  author       = {Sam Bayless and
                  John D. Backes and
                  Dan DaCosta and
                  Benjamin F. Jones and
                  Nate Launchbury and
                  Patrick Trentin and
                  Kelsey Jewell and
                  Sagar Joshi and
                  Michael Q. Zeng and
                  Nandita Mathews},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Debugging Network Reachability with Blocked Paths},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {851--862},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_39},
  doi          = {10.1007/978-3-030-81688-9\_39},
  timestamp    = {Fri, 20 Oct 2023 17:04:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BaylessBDJLTJJZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}