Interface Timing Verification with Application to Synthesis - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Elizabeth A. Walkup, Gaetano Borriello. Interface Timing Verification with Application to Synthesis. In DAC. pages 106-112, 1994. [doi]

@inproceedings{WalkupB94,
  title = {Interface Timing Verification with Application to Synthesis},
  author = {Elizabeth A. Walkup and Gaetano Borriello},
  year = {1994},
  doi = {10.1145/196244.196297},
  url = {http://doi.acm.org/10.1145/196244.196297},
  researchr = {https://researchr.org/publication/WalkupB94},
  cites = {0},
  citedby = {0},
  pages = {106-112},
  booktitle = {DAC},
}

runs on WebDSL