A Symbolic Partial Order Reduction Algorithm for Rule Based Transition Systems (2003)

by Ganesh Gopalakrishnan , Ritwik Bhattacharya , Ritwik Bhattacharya , Steven German , Steven German
Citations:1 - 1 self