(1992). Protocol specification, testing and verification: A selection of tutorial papers presented at the 10th IFIP WG-6.1 International Symposium on Protocol Specification, Testing and Verification, June 1990, Ottawa, Ontario, Canada. North-Holland.
Chicago-Zitierstil (17. Ausg.)Protocol Specification, Testing and Verification: A Selection of Tutorial Papers Presented at the 10th IFIP WG-6.1 International Symposium on Protocol Specification, Testing and Verification, June 1990, Ottawa, Ontario, Canada. Amsterdam u.a: North-Holland, 1992.
MLA-Zitierstil (9. Ausg.)Protocol Specification, Testing and Verification: A Selection of Tutorial Papers Presented at the 10th IFIP WG-6.1 International Symposium on Protocol Specification, Testing and Verification, June 1990, Ottawa, Ontario, Canada. North-Holland, 1992.