BibTeX record conf/vtc/KomuMD12

download as .bib file

@inproceedings{DBLP:conf/vtc/KomuMD12,
  author    = {Beth N. Komu and
               Mjumo Mzyece and
               Karim Djouani},
  title     = {SPIN-Based Verification of Authentication Protocols in WiMAX Networks},
  booktitle = {Proceedings of the 76th {IEEE} Vehicular Technology Conference, {VTC}
               Fall 2012, Quebec City, QC, Canada, September 3-6, 2012},
  pages     = {1--5},
  year      = {2012},
  crossref  = {DBLP:conf/vtc/2012f},
  url       = {https://doi.org/10.1109/VTCFall.2012.6399112},
  doi       = {10.1109/VTCFall.2012.6399112},
  timestamp = {Mon, 05 Jun 2017 12:41:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vtc/KomuMD12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vtc/2012f,
  title     = {Proceedings of the 76th {IEEE} Vehicular Technology Conference, {VTC}
               Fall 2012, Quebec City, QC, Canada, September 3-6, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6391320},
  isbn      = {978-1-4673-1880-8},
  timestamp = {Tue, 08 Jan 2013 19:01:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vtc/2012f},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier