Advanced search    

Search: authors:"Wanxia Qu"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

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

Yang Guo Wanxia Qu Long Zhang Weixia Xu model of an unbounded system is constructed out of finite states. The mathematical principles underlying TDA is presented. Theoretical reasoning