DBLP Record 'conf/date/UmezawaS04'

BibTeX

@inproceedings{DBLP:conf/date/UmezawaS04,
  author    = {Yasushi Umezawa and
               Takeshi Shimizu},
  title     = {A Formal Verification Methodology for Checking Data Integrity},
  booktitle = {DATE},
  year      = {2004},
  pages     = {284-289},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/DATE.2005.15},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}