| |
| 2006 | ||
|---|---|---|
| 2 | EE | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. SPIN 2006: 252-270 |
| 2005 | ||
| 1 | EE | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME 2005: 332-335 |
| 1 | Steven M. German | [1] [2] |
| 2 | Ganesh Gopalakrishnan | [1] [2] |