@inproceedings{DBLP:conf/dac/PillSCRBC06,
  author    = {Ingo Pill and
               Simone Semprini and
               Roberto Cavada and
               Marco Roveri and
               Roderick Bloem and
               Alessandro Cimatti},
  title     = {Formal analysis of hardware requirements},
  booktitle = {DAC},
  year      = {2006},
  pages     = {821-826},
  ee        = {http://doi.acm.org/10.1145/1146909.1147119},
  crossref  = {DBLP:conf/dac/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dac/2006,
  editor    = {Ellen Sentovich},
  title     = {Proceedings of the 43rd Design Automation Conference, DAC
               2006, San Francisco, CA, USA, July 24-28, 2006},
  booktitle = {DAC},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-381-6},
  ee        = {http://dl.acm.org/citation.cfm?id=1146909},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}