Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
A. W. Roscoe‚ D.M.Jackson P.H.B. Gardiner M.H. Goldsmith J.R. Hulance and J.B. Scattergood
Book Title
Proceedings of TACAS 1995
Note
also revised in a version of these proceedings published by LNCS
Publisher
BRICS
Year
1995