AzzoniFFPRT02'

@inproceedings{DBLP:conf/glvlsi/AzzoniFFPRT02,
  author    = {Paolo Azzoni and
               Andrea Fedeli and
               Franco Fummi and
               Graziano Pravadelli and
               Umberto Rossi and
               Franco Toto},
  title     = {An error simulation based approach to measure error coverage
               of formal properties},
  booktitle = {ACM Great Lakes Symposium on VLSI},
  year      = {2002},
  pages     = {53-58},
  ee        = {http://doi.acm.org/10.1145/505306.505319},
  crossref  = {DBLP:conf/glvlsi/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/glvlsi/2002,
  editor    = {Kanad Ghose and
               Patrick H. Madden and
               Vivek De and
               Peter M. Kogge},
  title     = {Proceedings of the 12th ACM Great Lakes Symposium on VLSI
               2002, New York, NY, USA, April 18-19, 2002},
  booktitle = {ACM Great Lakes Symposium on VLSI},
  publisher = {ACM},
  year      = {2002},
  isbn      = {1-58113-462-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}