IBM
Contents Index Previous Next



References


  1. Holzmann, G.J:
    Design and Validation of Computer Protocols
    Prentice-Hall, 1991
    ISBN 0-13-539834-7

http://www.ibm.com/rational
Contents Index Previous Next