Towards the Formal Verification of Cache Coherency at the Architectural Level
SourceACM Transactions on Design Automation of Electronic Systems, 17, 3, (2012), pp. 20
Article / Letter to editor
Display more detailsDisplay less details
ACM Transactions on Design Automation of Electronic Systems
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.