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

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