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]
No references recorded for this publication.
No citations of this publication recorded.