@inproceedings{BBC+09ifm,
 author = {Nikola Beneš and Luboš Brim and Ivana {Č}erná and Jiří Sochor and Pavlína Vařeková and Barbora Zimmerová},
 booktitle = {Proceedings of the International Conference on Integrated Formal Methods (IFM'09)},
 month = {February},
 note = {ISBN 978-3-642-00254-0},
 pages = {307--321},
 publisher = {Springer-Verlag},
 series = {LNCS},
 title = {{Partial Order Reduction for State/Event LTL}},
 volume = {5423},
 year = {2009}
}