Efficient Algorithms for Interface Timing Verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ti-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne Wolf. Efficient Algorithms for Interface Timing Verification. Formal Methods in System Design, 12(3):241-265, 1998.

@article{YenICW98,
  title = {Efficient Algorithms for Interface Timing Verification},
  author = {Ti-Yen Yen and Alex Ishii and Albert E. Casavant and Wayne Wolf},
  year = {1998},
  tags = {e-science},
  researchr = {https://researchr.org/publication/YenICW98},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {12},
  number = {3},
  pages = {241-265},
}

runs on WebDSL