BibTeX record conf/cts/SanjabiP10

download as .bib file

@inproceedings{DBLP:conf/cts/SanjabiP10,
  author       = {Sam B. Sanjabi and
                  Franck Pommereau},
  editor       = {Waleed W. Smari and
                  William K. McQuay},
  title        = {Modelling, verification, and formal analysis of security properties
                  in a {P2P} system},
  booktitle    = {2010 International Symposium on Collaborative Technologies and Systems,
                  {CTS} 2010, Chicago, Illinois, USA, May 17-21, 2010},
  pages        = {499--508},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/CTS.2010.5478474},
  doi          = {10.1109/CTS.2010.5478474},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/cts/SanjabiP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics