%0 Journal Article %1 journals/tc/VerbeekYEB17 %A Verbeek, Freek %A Yaghini, Pooria M. %A Eghbal, Ashkan %A Bagherzadeh, Nader %D 2017 %J IEEE Trans. Computers %K dblp %N 2 %P 272-284 %T Deadlock Verification of Cache Coherence Protocols and Communication Fabrics. %U http://dblp.uni-trier.de/db/journals/tc/tc66.html#VerbeekYEB17 %V 66

@article{journals/tc/VerbeekYEB17, added-at = {2020-06-15T00:00:00.000+0200}, author = {Verbeek, Freek and Yaghini, Pooria M. and Eghbal, Ashkan and Bagherzadeh, Nader}, biburl = {https://www.bibsonomy.org/bibtex/2579ef334adf0216dfbee0d84740cfaa6/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2016.2584060}, interhash = {10af8b7dda325d8c18144532739dbcd9}, intrahash = {579ef334adf0216dfbee0d84740cfaa6}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 2, pages = {272-284}, timestamp = {2020-06-16T11:51:51.000+0200}, title = {Deadlock Verification of Cache Coherence Protocols and Communication Fabrics.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc66.html#VerbeekYEB17}, volume = 66, year = 2017 }