LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

P. A. Subrahmanyam. LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques. In DAC. pages 459-465, 1987. [doi]

@inproceedings{Subrahmanyam87,
  title = {LCS - A Leaf Cell Synthesizer Employing Formal Deduction Techniques},
  author = {P. A. Subrahmanyam},
  year = {1987},
  doi = {10.1145/37888.37956},
  url = {http://doi.acm.org/10.1145/37888.37956},
  researchr = {https://researchr.org/publication/Subrahmanyam87},
  cites = {0},
  citedby = {0},
  pages = {459-465},
  booktitle = {DAC},
}

runs on WebDSL