@article{b9368d6127014d5c9b817a4296123afb,
title = "A Compositional Approach for Verifying Protocols Running on On-Chip Networks",
keywords = "ABSTRACTION, COHERENCE PROTOCOLS, Formal Verification, MODEL CHECKING, Multiprocessor interconnection networks, Routing protocols, VERIFICATION, WORMHOLE NETWORKS",
author = "Freek Verbeek and Yaghini, \{Pooria M.\} and Ashkan Eghbal and Nader Bagherzadeh",
year = "2018",
month = jul,
doi = "10.1109/TC.2017.2786723",
language = "English",
volume = "67",
pages = "905--919",
journal = "Ieee Transactions on Computers",
issn = "0018-9340",
publisher = "IEEE Computer Society",
number = "7",
}