BibTeX record conf/issre/LuoW17

download as .bib file

@inproceedings{DBLP:conf/issre/LuoW17,
  author       = {Weilin Luo and
                  Ou Wei},
  title        = {{WAP:} SAT-Based Computation of Minimal Cut Sets},
  booktitle    = {28th {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2017, Toulouse, France, October 23-26, 2017},
  pages        = {146--151},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISSRE.2017.13},
  doi          = {10.1109/ISSRE.2017.13},
  timestamp    = {Fri, 24 Mar 2023 00:04:22 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/LuoW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}