VADILOC - A Protocol Validator and Its Applications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Omar Rafiq, Jean-Pierre Ansart. VADILOC - A Protocol Validator and Its Applications. In IFIP Congress. pages 189-197, 1983.

@inproceedings{RafiqA83,
  title = {VADILOC - A Protocol Validator and Its Applications},
  author = {Omar Rafiq and Jean-Pierre Ansart},
  year = {1983},
  tags = {protocol},
  researchr = {https://researchr.org/publication/RafiqA83},
  cites = {0},
  citedby = {0},
  pages = {189-197},
  booktitle = {IFIP Congress},
}

runs on WebDSL