Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989

Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. North-Holland, 1990.

Conference: forte1990

@proceedings{forte:1989,
  title = {Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989},
  year = {1990},
  tags = {protocol},
  researchr = {https://researchr.org/publication/forte%3A1989},
  cites = {0},
  citedby = {0},
  booktitle = {Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989},
  conference = {forte},
  editor = {Son T. Vuong},
  publisher = {North-Holland},
  isbn = {0-444-88544-7},
}