Ritwik Bhattacharya

	2006
2		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		Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan: Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME 2005: 332-335

Coauthor Index

1	Steven M. German	[1] [2]
2	Ganesh Gopalakrishnan	[1] [2]