Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan. Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 252-270, Springer, 2006. [doi]
@inproceedings{BhattacharyaGG06,
title = {Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications},
author = {Ritwik Bhattacharya and Steven M. German and Ganesh Gopalakrishnan},
year = {2006},
doi = {10.1007/11691617_15},
url = {http://dx.doi.org/10.1007/11691617_15},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/BhattacharyaGG06},
cites = {0},
citedby = {0},
pages = {252-270},
booktitle = {Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings},
editor = {Antti Valmari},
volume = {3925},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-33102-6},
}