Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem

Patrice Godefroid. Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. Volume 1032 of Lecture Notes in Computer Science, Springer, 1996.

Abstract

Abstract is missing.