Symbolic path-based protocol verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Wen Chien Liu, Chyan-Goei Chung. Symbolic path-based protocol verification. Information \& Software Technology, 42(4):245-255, 2000.

@article{LiuC00a,
  title = {Symbolic path-based protocol verification},
  author = {Wen Chien Liu and Chyan-Goei Chung},
  year = {2000},
  tags = {rule-based, protocol},
  researchr = {https://researchr.org/publication/LiuC00a},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {42},
  number = {4},
  pages = {245-255},
}

runs on WebDSL