BibTeX record conf/concur/DOsualdoS20

download as .bib file

@inproceedings{DBLP:conf/concur/DOsualdoS20,
  author    = {Emanuele D'Osualdo and
               Felix Stutz},
  title     = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
               with Unbounded Sessions},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {171},
  pages     = {31:1--31:23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics