Using flow specifications of parameterized cache coherence protocols for verifying deadlock freedom
Publication Year
2014
Type
Conference Paper
Conference Name
International Symposium on Automated Technology for Verification and Analysis
Publisher
Springer International Publishing