×
  • Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings

    Reinhard Wilhelm (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
7 - 8Hours to read