Partial-Order Methods for the Verification of Concurrent Systems
An Approach to the State-Explosion Problem
Autor:
Patrice Godefroid
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
275.89
lei
This monograph is a revised version of the author's PhD thesis, submitted to the University of Liege...
