(1991). Design and validation of computer protocols / Gerard J. Holzmann.
Citace podle Chicago (17th ed.)Design and Validation of Computer Protocols / Gerard J. Holzmann. 1991.
Citace podle MLA (9th ed.)Design and Validation of Computer Protocols / Gerard J. Holzmann. 1991.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..