Li Li, Jun Pang, Yang Liu, Jun Sun 0001, Jin Song Dong. Symbolic Analysis of an Electric Vehicle Charging Protocol. In 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014. pages 11-18, IEEE, 2014. [doi]
@inproceedings{LiPL0D14,
title = {Symbolic Analysis of an Electric Vehicle Charging Protocol},
author = {Li Li and Jun Pang and Yang Liu and Jun Sun 0001 and Jin Song Dong},
year = {2014},
doi = {10.1109/ICECCS.2014.11},
url = {http://dx.doi.org/10.1109/ICECCS.2014.11},
researchr = {https://researchr.org/publication/LiPL0D14},
cites = {0},
citedby = {0},
pages = {11-18},
booktitle = {2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014},
publisher = {IEEE},
}