Verification of Protocol Specifications using the CESAR System. Fernandez, J.C, Richier, J., & Voiron, J. In Proceedings of the 5th IFIP International Workshop on Protocol Specification, Testing and Verification (Moissac, France), pages 71--90, June, 1985. nh. 00000
bibtex   
@inproceedings{ fernandez_verification_1985,
  title = {Verification of {Protocol} {Specifications} using the {CESAR} {System}},
  booktitle = {Proceedings of the 5th {IFIP} {International} {Workshop} on {Protocol} {Specification}, {Testing} and {Verification} ({Moissac}, {France})},
  publisher = {nh},
  author = {Fernandez, Jean-Claude and Richier, Jean-Luc and Voiron, Jacques},
  editor = {Diaz, Michel},
  month = {June},
  year = {1985},
  note = {00000},
  pages = {71--90}
}

Downloads: 0