[L5] ================================================ AMAST Links 03 01

   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).