Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yung-Te Lai, Sarma Sastry. Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification. In DAC. pages 608-613, 1992. [doi]

@inproceedings{LaiS92,
  title = {Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification},
  author = {Yung-Te Lai and Sarma Sastry},
  year = {1992},
  url = {http://portal.acm.org/citation.cfm?id=113938.149642},
  researchr = {https://researchr.org/publication/LaiS92},
  cites = {0},
  citedby = {0},
  pages = {608-613},
  booktitle = {DAC},
}

runs on WebDSL