×
  • Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

    Theo C. Ruys (auth.)

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