Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

Fulltext present in this item

Fulltext: 168686.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	Deadlock Verification of Cache Coherence Protocols and Communication Fabrics
Author(s):	Verbeek, F.; Yaghini, P.M.; Eghbal, A.; Bagherzadeh, N.
Publication year:	2017
Source:	IEEE Transactions on Computers, vol. 66, iss. 2, (2017), pp. 272-284
ISSN:	0018-9340
DOI:	http://dx.doi.org/10.1109/TC.2016.2584060
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/168686
Display more details
Subject:	Digital Security
Organization:	Digital Security
Journal title:	IEEE Transactions on Computers
Volume:	vol. 66
Issue:	iss. 2
Page start:	p. 272
Page end:	p. 284

Faculty of Science [28903]
Electronic publications [87075]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [187573]
Academic output Radboud University