Compositional Testing of Network Protocols (bibtex)

by K. L. McMillan and L. D. Zuck

Reference:

Compositional Testing of Network Protocols (K. L. McMillan and L. D. Zuck), In IEEE Secure Development Conference (SecDev 2019), 2019.

Bibtex Entry:

@inproceedings{theory,
  author = {K. L. McMillan and L. D. Zuck},
  title = {Compositional Testing of Network Protocols},
  booktitle = {{IEEE} Secure Development Conference ({SecDev} 2019)},
  note = {To appear},
  month = {September},
  url = {SECDEV19.pdf},
  year = 2019,
}