@article{GD:2007,
  author  = {Daniel Gro{\ss}e and Rolf Drechsler},
  title   = {{BDD}-Based Verification of Scalable Designs},
  journal = {Facta Universitatis. Series: Electronics and Energetics},
  volume  = {20},
  number  = 3,
  pages   = {367--379},
  year    = {2007}
}