Formal Specification and Verification of Distributed Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Bo-Shoe Chen, Raymond T. Yeh. Formal Specification and Verification of Distributed Systems. IEEE Trans. Software Eng., 9(6):710-722, 1983.

@article{ChenY83,
  title = {Formal Specification and Verification of Distributed Systems},
  author = {Bo-Shoe Chen and Raymond T. Yeh},
  year = {1983},
  researchr = {https://researchr.org/publication/ChenY83},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {9},
  number = {6},
  pages = {710-722},
}

runs on WebDSL