On the Costs and Benefits of using
Partial-Order Methods for the Verification of Concurrent Systems
Patrice Godefroid
Proceedings of DIMACS Workshop on Partial-Order Methods in Verification, AMS, Princeton, July 1996. Copyright ? DIMACS-AMS, 1996.