BibTeX record conf/ict/RajuKVR10

• > Home > conf/ict/RajuKVR10

@inproceedings{DBLP:conf/ict/RajuKVR10,
  author       = {K. V. Krishnam Raju and
                  V. Valli Kumari and
                  N. Sandeep Varma and
                  K. V. S. V. N. Raju},
  editor       = {Vinu V. Das and
                  R. Vijayakumar and
                  K. G. Srinivasa and
                  Hatim A. Aboalsamh and
                  Mohammad Hammoudeh and
                  Vahid Salmani and
                  Dinesh Kumar Tyagi and
                  Anjali Mohapatra and
                  Bharatheesh Jaysimha and
                  Eliathamby Ambikairajah and
                  Jonathan M. Blackledge},
  title        = {Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR},
  booktitle    = {Information and Communication Technologies - International Conference,
                  {ICT} 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {101},
  pages        = {590--595},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15766-0\_101},
  doi          = {10.1007/978-3-642-15766-0\_101},
  timestamp    = {Fri, 27 Dec 2019 21:28:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ict/RajuKVR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}