BibTeX record conf/iccsama/ThongDB14

• > Home > conf/iccsama/ThongDB14

@inproceedings{DBLP:conf/iccsama/ThongDB14,
  author       = {Ta Vinh Thong and
                  Amit Dvir and
                  Levente Butty{\'{a}}n},
  editor       = {Tien Van Do and
                  Hoai An Le Thi and
                  Ngoc Thanh Nguyen},
  title        = {Formal Security Verification of Transport Protocols for Wireless Sensor
                  Networks},
  booktitle    = {Advanced Computational Methods for Knowledge Engineering - Proceedings
                  of the 2nd International Conference on Computer Science, Applied Mathematics
                  and Applications, {ICCSAMA} 2014, 8-9 May, 2014, Budapest, Hungary},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {282},
  pages        = {389--403},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06569-4\_29},
  doi          = {10.1007/978-3-319-06569-4\_29},
  timestamp    = {Tue, 25 Jul 2023 13:02:23 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsama/ThongDB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}