Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
Autors principals: | , , , , , |
---|---|
Format: | Conference item |
Publicat: |
Springer Berlin/Heidelberg
1995
|
Search Result 1
Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
Publicat 1995
Conference item