@STRING{atva	  = {Automated Technology for Verification and Analysis} }
@inproceedings{HLGD:2015,
  author    = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Boosting Sequentialization-based Verification of Multi-Threaded {C} Programs via Symbolic Pruning of Redundant Schedules},
  booktitle = atva,
  pages     = {228--233},
  year      = {2015}
}