Jaco Geldenhuys, Henri Hansen, Antti Valmari. Exploring the Scope for Partial Order Reduction. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 39-53, Springer, 2009. [doi]
@inproceedings{GeldenhuysHV09,
title = {Exploring the Scope for Partial Order Reduction},
author = {Jaco Geldenhuys and Henri Hansen and Antti Valmari},
year = {2009},
doi = {10.1007/978-3-642-04761-9_4},
url = {http://dx.doi.org/10.1007/978-3-642-04761-9_4},
researchr = {https://researchr.org/publication/GeldenhuysHV09},
cites = {0},
citedby = {0},
pages = {39-53},
booktitle = {Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings},
editor = {Zhiming Liu and Anders P. Ravn},
volume = {5799},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-04760-2},
}