View of Probabilistic Verification for Modular Network-on-Chip Systems (extended version)

##article.return## Probabilistic Verification for Modular Network-on-Chip Systems (extended version) Download Download PDF