BibTeX record phd/basesearch/Kundu09

download as .bib file

@phdthesis{DBLP:phd/basesearch/Kundu09,
  author       = {Sudipta Kundu},
  title        = {High-level verification of system designs},
  school       = {University of California, San Diego, {USA}},
  year         = {2009},
  url          = {http://www.escholarship.org/uc/item/84g265gf},
  timestamp    = {Tue, 04 Apr 2017 17:11:20 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Kundu09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics