@STRING{cav	= {Computer Aided Verification} }
@InProceedings{HLGD:2016,
  author    = {Vladimir Herdt and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {{ParCoSS:} Efficient Parallelized Compiled Symbolic Simulation},
  booktitle = cav,
  pages     = {177--183},
  year      = {2016}
}