Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Accelerated verification of parametric protocols with decision trees
Li, Yongjian; Cao, Taifeng; Jansen, David et al.
2020In Proceedings of the 38th International Conference on Computer Design (ICCD)
Peer reviewed
 

Files


Full Text
ICCD20.pdf
Author preprint (548.7 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
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
External co-authors :
yes
Language :
English
Title :
Accelerated verification of parametric protocols with decision trees
Publication date :
2020
Event name :
38th International Conference on Computer Design
Event date :
2020
Audience :
International
Main work title :
Proceedings of the 38th International Conference on Computer Design (ICCD)
Publisher :
IEEE
Pages :
397-404
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 22 December 2020

Statistics


Number of views
69 (0 by Unilu)
Number of downloads
122 (0 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu