O
pen
R
epository and
Bi
bliography
Login
Home
User guide
Toolbox
FAQ
Glossary
Help?
EN
FR
University of Luxembourg Library
You are here:
ORBi
lu
Detailled reference
Reference : Symbolic analysis of an electric vehicle charging protocol.
Document type :
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Discipline(s) :
Engineering, computing & technology : Computer science
To cite this reference:
http://hdl.handle.net/10993/18033
Title :
Symbolic analysis of an electric vehicle charging protocol.
Language :
English
Author, co-author :
Li, Li
[National University of Singapore]
Pang, Jun
[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Liu, Yang
[]
Sun, Jun
[]
Dong, Jin Song
[National University of Singapore]
Publication date :
2014
Main document title :
Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS)
Publisher :
IEEE CS
Peer reviewed :
Yes
On invitation :
No
Audience :
International
Event name :
19th IEEE Conference on Engineering of Complex Computer Systems
Event date :
2014
Target :
Researchers ; Professionals ; Students
Permalink :
http://hdl.handle.net/10993/18033
File(s) associated to this reference
Fulltext file(s):
File
Commentary
Version
Size
Access
Open access
ICECCS14.pdf
Publisher postprint
320.77 kB
View/Open
All documents in ORBi
lu
are protected by a
user license
.
University of Luxembourg Library
|
Feedback
|
Legal notices
Site Map