BibTeX record: conf/hldvt/DonataccioZ10

download as .bib file

@inproceedings{DBLP:conf/hldvt/DonataccioZ10,
  author    = {Nicholas Donataccio and
               Hao Zheng},
  title     = {An improvement in decomposed reachability analysis for symbolic model
               checking},
  booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
  year      = {2010},
  pages     = {50--57},
  crossref  = {DBLP:conf/hldvt/2010},
  url       = {http://dx.doi.org/10.1109/HLDVT.2010.5496663},
  doi       = {10.1109/HLDVT.2010.5496663},
  timestamp = {Fri, 19 Sep 2014 20:07:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hldvt/DonataccioZ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hldvt/2010,
  title     = {{IEEE} International High Level Design Validation and Test Workshop,
               {HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
  year      = {2010},
  publisher = {{IEEE}},
  timestamp = {Fri, 19 Sep 2014 20:07:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hldvt/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}