Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled. State Space Reduction Using Partial Order Techniques. STTT, 2(3):279-287, 1999. [doi]
@article{ClarkeGMP99,
title = {State Space Reduction Using Partial Order Techniques},
author = {Edmund M. Clarke and Orna Grumberg and Marius Minea and Doron Peled},
year = {1999},
url = {http://link.springer.de/link/service/journals/10009/bibs/9002003/90020279.htm},
researchr = {https://researchr.org/publication/ClarkeGMP99},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {2},
number = {3},
pages = {279-287},
}