Login / Signup

State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction.

Yang GuoWanXia QuLong ZhangWeixia Xu
Published in: J. Supercomput. (2012)
Keyphrases