BibTeX record journals/corr/abs-1911-05430

download as .bib file

@article{DBLP:journals/corr/abs-1911-05430,
  author    = {Emanuele D'Osualdo and
               Felix Stutz},
  title     = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
               with Unbounded Sessions},
  journal   = {CoRR},
  volume    = {abs/1911.05430},
  year      = {2019}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics