@InProceedings{BBC+09,
  author =       "Nikola Bene\v{s} and Lubo\v{s} Brim and Ivana {\v{C}}ern\'{a} and Ji\v{r}\'{i} Sochor and Pavl\'{i}na Va\v{r}ekov\'{a} and Barbora Zimmerova",
  title =        "{Partial Order Reduction for State/Event LTL}",
  booktitle =    "Proceedings of the International Conference on Integrated Formal Methods (IFM'09)",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  volume =       "5423",
  pages =        "307--321",
  year =         "2009",
  month =        "February",
  note =         "ISBN 978-3-642-00254-0"
}