@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{WGF+:2009,
  author        = {Robert Wille and Daniel Gro{\ss}e and Stefan Frehse and Gerhard W. Dueck and Rolf Drechsler},
  title		= {Debugging of {T}offoli Networks},
  booktitle     = date,
  pages         = {1284--1289},
  year		= 2009
}