@inproceedings{BrSW08,
  key         ={BrSW08},
  author      ={J. Brandt and K. Schneider and A. Willenbücher},
  title       ={Hardware Acceleration for Model Checking},
  booktitle   ={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  address     ={Freiburg, Germany},
  editor      ={C. Scholl and S. Disch},
  publisher   ={Shaker},
  pages       ={179-187},
  year        ={2008},
  remark      ={rsg}
}