@InProceedings{fmics2006-post,
  author =       {L. Brim and I. \v{C}ern\'{a} and P. Moravec and J. \v{S}im\v{s}a},
  title =        {{On Combining Partial Order Reduction with Fairness Assumptions}},
  booktitle =    {Formal Methods: Applications and Technology, 11th
  International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006. Bonn, Germany, August 2006, Revisited Selected Papers},
  pages =        {84--99},
  year =         {2007},
  editor =    {L. Brim and B. Houverkort and M. Leucker and J. van de Pol},
  volume =    {4346},
  series =       {LNCS},
  publisher = {Springer}
}