Authors: Pong, P Dubois, M

Citation: P. Pong et M. Dubois, Formal automatic verification of cache coherence in multiprocessors with relaxed memory models, IEEE PARALL, 11(9), 2000, pp. 989-1006