Robert Beers

	2008
3		Robert Beers: Pre-RTL formal verification: an intel experience. DAC 2008: 806-811
	2001
2		Robert Beers, Rajnish Ghughal, Mark Aagaard: Applications of Hierarchical Verification in Model Checking. CHARME 2001: 40-57
	2000
1		Robert Beers, Rajnish Ghughal, Mark Aagaard: Applications of Hierarchical Verification in Model Checking. FMCAD 2000

Coauthor Index

1	Mark Aagaard	[1] [2]
2	Rajnish Ghughal	[1] [2]