Partial-Order Methods for the Verification of Concurrent Systems
An Approach to the State-Explosion Problem
Patrice Godefroid
This PhD thesis is now available in revised form as volume 1032 of
Lecture Notes in Computer Science, Springer-Verlag, January 1996,
ISBN 3-540-60761-7 (foreword by Pierre Wolper).