@inproceedings{BCMS07,
 author = {Luboš Brim and Ivana Černá and Pavel Moravec and Jiří Šimša},
 bibsource = {DBLP, http://dblp.uni-trier.de},
 booktitle = {FMICS/PDMC},
 isbn = {978-3-540-70951-0},
 pages = {84--99},
 series = {Lecture Notes in Computer Science},
 title = {On Combining Partial Order Reduction with Fairness Assumptions},
 volume = {4346},
 year = {2007}
}