Authors: Pong, F Dubois, M

Citation: F. Pong et M. Dubois, Formal verification of complex coherence protocols using symbolic state models, J ACM, 45(4), 1998, pp. 557-587