@InProceedings{GS:2011,
  author =  {Daniel Gro{\ss}e and Frank Schirrmeister (organizer)},
  title = {{ESL HW/SW} Verification: A Reality Check, {Speaker: Matthias Bauer, Viraphol Chaiyakul, Alan Gatherer, Sandeep Shukla, Daniel Kroening}},
  booktitle = {Panel at Design Automation Conference (DAC)},
  year =  {2011}
}