Hierarchical Compression for Model-Checking CSP or How to Check 10

A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood

Browse the full TACAS paper archive.