@STRING{sttt	= {Software Tools for Technology Transfer} }
@article{HLGD:2019c,
  author    = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Combining Sequentialization-based Verification of Multi-Threaded {C} Programs with Symbolic Partial Order Reduction},
  journal   = sttt,
  volume    = {21},
  number    = {5},
  pages     = {545--565},
  year	    = {2019},
}