×
  • Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

    Gerard J. Holzmann (auth.) Tiziana Margaria Bernhard Steffen (eds.)

Click on cover to enlarge.
10 - 12Hours to read