Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Weixia Xu

State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-Dimensional Abstraction

Journal of Supercomputing

Information Systems

Theoretical Computer Science

English