Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby. Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. In Dragan Bosnacki, Stefan Edelkamp, editors, Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Volume 4595 of Lecture Notes in Computer Science, pages 58-75, Springer, 2007. [doi]
@inproceedings{YangCGK07,
title = {Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software},
author = {Yu Yang and Xiaofang Chen and Ganesh Gopalakrishnan and Robert M. Kirby},
year = {2007},
doi = {10.1007/978-3-540-73370-6_6},
url = {http://dx.doi.org/10.1007/978-3-540-73370-6_6},
tags = {rule-based},
researchr = {https://researchr.org/publication/YangCGK07},
cites = {0},
citedby = {0},
pages = {58-75},
booktitle = {Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings},
editor = {Dragan Bosnacki and Stefan Edelkamp},
volume = {4595},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73369-0},
}