![](/img/cover-not-exists.png)
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction
Yang Guo, Wanxia Qu, Long Zhang, Weixia XuVolume:
62
Language:
english
DOI:
10.1007/s11227-012-0755-0
Date:
November, 2012
File:
PDF, 1.16 MB
english, 2012