Fingerprint
Dive into the research topics of 'A Compositional Approach for Verifying Protocols Running on On-Chip Networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Compositional Approach for Verifying Protocols Running on On-Chip Networks
Freek Verbeek*, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh
*Corresponding author for this work
Research output: Contribution to journal › Article › Academic › peer-review