@InProceedings{Kuehne:DATE2009-1246,
  author =       "Ulrich K{\"u}hne and Daniel Gro{\ss}e and Rolf
                 Drechsler",
  title =        "Property Analysis and Design Understanding",
  pages =        "1246--1249",
  ee =           "http://www.date-conference.com/archive/conference/proceedings/PAPERS/2009/DATE09/HTMFILES/FRAMES/DATEABS.HTM#IP4_09",
  URL =          "http://www.date-conference.com/archive/conference/proceedings/PAPERS/2009/DATE09/PDFFILES/IP4_09.pdf",
  booktitle =    "Design, Automation, and Test in Europe (DATE 2009)",
  address =      "Nice, France",
  publisher =    "European Design and Automation Association (EDAA)",
  year =         "2009",
  month =        apr,
}