@InProceedings{Rogin:DATE2008-545,
  author =       "Frank Rogin and Thomas Klotz and G{\"o}rschwin Fey and
                 Rolf Drechsler and Steffen R{\"u}lke",
  title =        "Automatic Generation of Complex Properties for
                 Hardware Designs",
  pages =        "545--548",
  ee =           "http://dx.doi.org/10.1145/1403375.1403506",
  booktitle =    "Design, Automation, and Test in Europe (DATE 2008)",
  address =      "Munich, Germany",
  year =         "2008",
  month =        mar,
  publisher =    "ACM",
}