BibTeX record journals/jlp/LemosDFN18

download as .bib file

@article{DBLP:journals/jlp/LemosDFN18,
  author       = {Marcilio O. O. Lemos and
                  Yuri Gil Dantas and
                  Iguatemi E. Fonseca and
                  Vivek Nigam},
  title        = {On the accuracy of formal verification of selective defenses for TDoS
                  attacks},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {94},
  pages        = {45--67},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2017.09.001},
  doi          = {10.1016/J.JLAMP.2017.09.001},
  timestamp    = {Wed, 07 Dec 2022 23:05:30 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LemosDFN18.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.