BibTeX record conf/provsec/Warinschi09

download as .bib file

@inproceedings{DBLP:conf/provsec/Warinschi09,
  author       = {Bogdan Warinschi},
  editor       = {Josef Pieprzyk and
                  Fangguo Zhang},
  title        = {Symbolic Methods for Provable Security},
  booktitle    = {Provable Security, Third International Conference, ProvSec 2009, Guangzhou,
                  China, November 11-13, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5848},
  pages        = {2},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04642-1\_2},
  doi          = {10.1007/978-3-642-04642-1\_2},
  timestamp    = {Sun, 02 Jun 2019 21:26:38 +0200},
  biburl       = {https://dblp.org/rec/conf/provsec/Warinschi09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}