BibTeX record journals/peerj-cs/GarciaEOAO23

download as .bib file

@article{DBLP:journals/peerj-cs/GarciaEOAO23,
  author       = {V{\'{\i}}ctor Garc{\'{\i}}a and
                  Santiago Escobar and
                  Kazuhiro Ogata and
                  Sedat Akleylek and
                  Ayoub Otmani},
  title        = {Modelling and verification of post-quantum key encapsulation mechanisms
                  using Maude},
  journal      = {PeerJ Comput. Sci.},
  volume       = {9},
  pages        = {e1547},
  year         = {2023},
  url          = {https://doi.org/10.7717/peerj-cs.1547},
  doi          = {10.7717/PEERJ-CS.1547},
  timestamp    = {Wed, 04 Oct 2023 08:55:07 +0200},
  biburl       = {https://dblp.org/rec/journals/peerj-cs/GarciaEOAO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}