Geoffrey Sawaya

	2009
2		Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009)
	2006
1		Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125

Coauthor Index

1	Ganesh Gopalakrishnan	[1] [2]
2	Robert M. Kirby (Mike Kirby)	[1] [2]
3	Igor Melatti	[1] [2]
4	Robert Palmer	[1] [2]
5	Yu Yang	[1] [2]