Design and validation of computer protocols /

16

Bibliographic Details
Main Author: 455693 Holzmann, Gerard J.
Format:
Published: Englewood Cliffs, NJ : Prentice-Hall, 1991
Subjects: