Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990

Luigi Logrippo, Robert L. Probert, Hasan Ural, editors, Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. North-Holland, 1990.

Conference: pstv1990

@proceedings{pstv:1990,
  title = {Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  year = {1990},
  tags = {protocol, testing},
  researchr = {https://researchr.org/publication/pstv%3A1990},
  cites = {0},
  citedby = {0},
  booktitle = {Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  conference = {pstv},
  editor = {Luigi Logrippo and Robert L. Probert and Hasan Ural},
  publisher = {North-Holland},
  isbn = {0-444-88810-1},
}