@inproceedings{FibichWenzlRoessler2014,
  author    = {Christian Fibich and Matthias Wenzl and Peter R{\"o}ssler},
  title     = {On Automated Generation of Checker Units from Hardware Assertion Languages},
  booktitle = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014},
  year      = {2014},
}