@Inproceedings{GD:2006b,
  author        = {Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {{Verifikation mit Constraint-gesteuerter Zufallssimulation}},
  booktitle     = {URANOS-Workshop Anwendungsrobuster Entwurf nanoelektronischer Systeme},
  year          = 2006
}