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

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Roscoe, A, Gardiner, P, Goldsmith, M, Hulance, J, Jackson, D, Scattergood, J
Ձևաչափ:	Conference item
Հրապարակվել է:	Springer Berlin/Heidelberg 1995

Նկարագրություն
Ամփոփում:

Նմանատիպ նյութեր