@article{partial_order_reduction_ample_set_on-the-fly,
year={1996},
issn={0925-9856},
journal={Formal Methods in System Design},
volume={8},
number={1},
doi={10.1007/BF00121262},
title={Combining Partial Order Reductions with On-the-Fly Model-Checking},
publisher={Kluwer Academic Publishers},
keywords={model-checking; partial order reduction; Büchi-automaton; temporal-logic; traces},
author={Peled, Doron},
pages={39-64},
language={english}
}

@incollection{partial_order_reduction_ample_set_verification_abstract,
year={1996},
isbn={978-3-540-61042-7},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems},
volume={1055},
series={Lecture Notes in Computer Science},
editor={Margaria, Tiziana and Steffen, Bernhard},
doi={10.1007/3-540-61042-1_48},
title={Formal Verification of a Partial-Order Reduction Technique for Model Checking},
publisher={Springer Berlin Heidelberg},
author={Chou, Ching-Tsun and Peled, Doron},
pages={241-257},
language={english}
}
