Unrestricted Verification of Protocol Properties on a Simulation: an Observer Approach. Groz, R. In Proceedings of the 6th IFIP International Workshop on Protocol Specification, Testing and Verification (Montreal, Canada), June, 1986. nh. 00036
@inproceedings{ groz_unrestricted_1986,
  title = {Unrestricted {Verification} of {Protocol} {Properties} on a {Simulation}: an {Observer} {Approach}},
  shorttitle = {Unrestricted {Verification} of {Protocol} {Properties} on a {Simulation}},
  booktitle = {Proceedings of the 6th {IFIP} {International} {Workshop} on {Protocol} {Specification}, {Testing} and {Verification} ({Montreal}, {Canada})},
  publisher = {nh},
  author = {Groz, Roland},
  month = {June},
  year = {1986},
  note = {00036}

Downloads: 0