MORAVEC, Pavel a
Jiří ŠIMŠA. Relaxed Cycle Condition Improves Partial Order Reduction. In
3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo, Czech Republic: FI MU, FIT VUT, 2007, s. 140-147. ISBN 978-80-7355-077-6.