@inproceedings{DBLP:conf/kbse/BokorKSS11,
  author    = {P{\'{e}}ter Bokor and
               Johannes Kinder and
               Marco Serafini and
               Neeraj Suri},
  editor    = {Perry Alexander and
               Corina S. Pasareanu and
               John G. Hosking},
  title     = {Supporting domain-specific state space reductions through local partial-order
               reduction},
  booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages     = {113--122},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/ASE.2011.6100044},
  doi       = {10.1109/ASE.2011.6100044},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/BokorKSS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}