Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A novel approach to parameterized verification of cache coherence protocols
Li, Yongjian; Duan, Kaiqiang; Lv, Li et al.
2016In Proceedings of the 34th IEEE International Conference on Computer Design
Peer reviewed
 

Files


Full Text
ICCD16.pdf
Author postprint (238.68 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Li, Yongjian
Duan, Kaiqiang
Lv, Li
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)
Cai, Shaowei
External co-authors :
yes
Language :
English
Title :
A novel approach to parameterized verification of cache coherence protocols
Publication date :
2016
Event name :
34th IEEE International Conference on Computer Design (ICCD)
Event organizer :
IEEE
Event date :
2016
Audience :
International
Main work title :
Proceedings of the 34th IEEE International Conference on Computer Design
Publisher :
IEEE Computer Society
Pages :
560-567
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 15 December 2016

Statistics


Number of views
278 (2 by Unilu)
Number of downloads
125 (0 by Unilu)

Scopus citations®
 
8
Scopus citations®
without self-citations
2

Bibliography


Similar publications



Contact ORBilu