Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh. A Compositional Approach for Verifying Protocols Running on On-Chip Networks. IEEE Transactions on Computers, 67(7):905-919, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.