Mechanical Certification of Systolic Algorithms - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

S. Purushothaman, P. A. Subrahmanyam. Mechanical Certification of Systolic Algorithms. Journal of Automated Reasoning, 5(1):67-91, 1989.

@article{PurushothamanS89,
  title = {Mechanical Certification of Systolic Algorithms},
  author = {S. Purushothaman and P. A. Subrahmanyam},
  year = {1989},
  tags = {certification},
  researchr = {https://researchr.org/publication/PurushothamanS89},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {5},
  number = {1},
  pages = {67-91},
}

runs on WebDSL