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 : Accelerated verification of parametric protocols with decision trees
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/45214
Title :
Accelerated verification of parametric protocols with decision trees
Language :
English
Author, co-author :
Li, Yongjian
[]
Cao, Taifeng
[]
Jansen, David
[]
Pang, Jun
[University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
Wei, Xiaotao
[]
Publication date :
2020
Main document title :
Proceedings of the 38th International Conference on Computer Design (ICCD)
Publisher :
IEEE
Pages :
397-404
Peer reviewed :
Yes
On invitation :
No
Audience :
International
Event name :
38th International Conference on Computer Design
Event date :
2020
Target :
Researchers ; Professionals
Permalink :
http://hdl.handle.net/10993/45214
DOI :
10.1109/ICCD50377.2020.00073
File(s) associated to this reference
Fulltext file(s):
File
Commentary
Version
Size
Access
Open access
ICCD20.pdf
Author preprint
535.84 kB
View/Open
All documents in ORBi
lu
are protected by a
user license
.
University of Luxembourg Library
|
Feedback
|
Legal notices
Site Map