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

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

Afficher d'autres versions (1)
Détails bibliographiques
Auteurs principaux: Roscoe, A, Gardiner, P, Goldsmith, M, Hulance, J, Jackson, D, Scattergood, J
Format: Conference item
Publié: Springer Berlin/Heidelberg 1995
Description
Résumé:

Documents similaires