A Theory for Protocol Validation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Gerard J. Holzmann. A Theory for Protocol Validation. IEEE Transactions on Computers, 31(8):730-738, 1982.

@article{Holzmann82:0,
  title = {A Theory for Protocol Validation},
  author = {Gerard J. Holzmann},
  year = {1982},
  tags = {protocol},
  researchr = {https://researchr.org/publication/Holzmann82%3A0},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Computers},
  volume = {31},
  number = {8},
  pages = {730-738},
}

runs on WebDSL