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
Details
| Book Title |
Proceedings of TACAS 1995 |
| Note |
also revised in a version of these proceedings published by LNCS |
| Publisher |
BRICS |
| Year |
1995 |
Links
Related pages
|
People |
|
|
Activities |