×
  • Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

    Dennis Dams (auth.)

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