W. Rance Cleaveland

• Tools and Algorithms for the Construction of Analysis of Systems
• Concur '92: Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 1992