@STRING{dsd_euromicro={EUROMICRO Symposium on Digital System Design} }
@inproceedings{YWGD:2013,
  author    = {Shuo Yang and Robert Wille and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Minimal Stimuli Generation in Simulation-Based Verification},
  booktitle = dsd_euromicro,
  pages     = {439--444},
  year      = {2013}
}