×
  • Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings

    Gérard Berry (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
10 - 12Hours to read