Unbounded Scalable Hardware Verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Suho Lee. Unbounded Scalable Hardware Verification. PhD thesis, University of Michigan, USA, 2016. [doi]

@phdthesis{us-1061,
  title = {Unbounded Scalable Hardware Verification},
  author = {Suho Lee},
  year = {2016},
  url = {https://hdl.handle.net/2027.42/133375},
  researchr = {https://researchr.org/publication/us-1061},
  cites = {0},
  citedby = {0},
  school = {University of Michigan, USA},
}

runs on WebDSL