Formal Verification of Activity-Based Specification of Protocols - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

K. C. Anand, R. K. Shyamasundar. Formal Verification of Activity-Based Specification of Protocols. J. Parallel Distrib. Comput., 60(5):639-676, 2000.

@article{AnandS00,
  title = {Formal Verification of Activity-Based Specification of Protocols},
  author = {K. C. Anand and R. K. Shyamasundar},
  year = {2000},
  tags = {rule-based, protocol, C++},
  researchr = {https://researchr.org/publication/AnandS00},
  cites = {0},
  citedby = {0},
  journal = {J. Parallel Distrib. Comput.},
  volume = {60},
  number = {5},
  pages = {639-676},
}

runs on WebDSL