Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock

Bibliográfalaš dieđut
Váldodahkkit:	Roscoe, A, Gardiner, P, Goldsmith, M, Hulance, J, Jackson, D, Scattergood, J
Materiálatiipa:	Conference item
Almmustuhtton:	Springer Berlin/Heidelberg 1995

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock Dahkki Roscoe, A, Hulance, D, Scattergood, J

Almmustuhtton 1995

Conference item