9783540607618

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science, 1032)