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

    Patrice Godefroid (eds.)

Click on cover to enlarge.
3 - 4Hours to read