A Compositional Approach for Verifying Protocols Running on On-Chip Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Freek Verbeek' in GoogleThis author has not been identified. Look up 'Pooria M. Yaghini' in GoogleThis author has not been identified. Look up 'Ashkan Eghbal' in GoogleThis author has not been identified. Look up 'Nader Bagherzadeh' in Google

runs on WebDSL