Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled. A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 379-390, Springer, 1998.
@inproceedings{AbdullaJKP98,
title = {A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract)},
author = {Parosh Aziz Abdulla and Bengt Jonsson and Mats Kindahl and Doron Peled},
year = {1998},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/AbdullaJKP98},
cites = {0},
citedby = {0},
pages = {379-390},
booktitle = {Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
editor = {Alan J. Hu and Moshe Y. Vardi},
volume = {1427},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64608-6},
}