Specification and Verification of Network Managers for Large Internets - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

David L. Cohrs, Barton P. Miller. Specification and Verification of Network Managers for Large Internets. In SIGCOMM. pages 33-44, 1989. [doi]

@inproceedings{CohrsM89,
  title = {Specification and Verification of Network Managers for Large Internets},
  author = {David L. Cohrs and Barton P. Miller},
  year = {1989},
  doi = {10.1145/75246.75251},
  url = {http://doi.acm.org/10.1145/75246.75251},
  researchr = {https://researchr.org/publication/CohrsM89},
  cites = {0},
  citedby = {0},
  pages = {33-44},
  booktitle = {SIGCOMM},
}

runs on WebDSL