APA (7th ed.) Citation

(1991). Design and validation of computer protocols / Gerard J. Holzmann.

Chicago Style (17th ed.) Citation

Design and Validation of Computer Protocols / Gerard J. Holzmann. 1991.

MLA (9th ed.) Citation

Design and Validation of Computer Protocols / Gerard J. Holzmann. 1991.

Warning: These citations may not always be 100% accurate.