@Inproceedings{GFD:2009,
  author        = {Daniel Gro{\ss}e and G\"orschwin Fey and Rolf Drechsler},
  title         = {Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis},
  booktitle     = {Specification - Transformation - Navigation, Festschrift dedicated to Bernd Krieg-Br\"uckner on Occasion of his 60th Birthday},
  year          = 2009
}