Partial-Order Methods for the Verification of Concurrent Systems
An Approach to the State-Explosion Problem
Autor:
Patrice Godefroid
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
214.72
zł
This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege...
