Deadlock Verification of Cache Coherence Protocols and Communication Fabrics
From MaRDI portal
Publication:2989513
DOI10.1109/TC.2016.2584060zbMath1364.68085OpenAlexW2471498569MaRDI QIDQ2989513
Ashkan Eghbal, Freek Verbeek, Pooria M. Yaghini, Nader Bagherzadeh
Publication date: 8 June 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.2016.2584060