👤

W. Rance Cleaveland

2 books

Books by W. Rance Cleaveland

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