Authors: PONG F BROWNE M AYBAY G NOWATZYK A DUBOIS M

Citation: F. Pong et al., DESIGN VERIFICATION OF THE S3.MP CACHE-COHERENT SHARED-MEMORY SYSTEM, I.E.E.E. transactions on computers, 47(1), 1998, pp. 135-140

Authors: PONG F DUBOIS M

Citation: F. Pong et M. Dubois, VERIFICATION TECHNIQUES FOR CACHE COHERENCE PROTOCOLS, ACM computing surveys, 29(1), 1997, pp. 82-126

Authors: PONG F DUBOIS M

Citation: F. Pong et M. Dubois, A NEW APPROACH FOR THE VERIFICATION OF CACHE COHERENCE PROTOCOLS, IEEE transactions on parallel and distributed systems, 6(8), 1995, pp. 773-787