@inproceedings{jeridate2006,
  author    = "Vasco Jerinic and Jan Langer and Ulrich Heinkel and D. Müller",
  title     = "New Methods and Coverage Metrics for Functional Verification",
  booktitle = "Design Automation and Test in Europe (DATE)",
  year      = "2006",
  address   = "Munich (Germany)",
  month     = "6--10~" # mar,
  isbn      = "of CD 3-9810801-0-6"
}