Carlos M. Roman

1997
3		Carlos M. Roman, Gary De Palma, Robert P. Kurshan: Model checking without hardware drivers. CHARME 1997: 127
2		Carlos M. Roman: Is there a crisis in hardware verification? CHARME 1997: 309-310
1981
1		M. Ray Mercer, Vishwani D. Agrawal, Carlos M. Roman: Test Generation for Highly Sequential Scan-Testable Circuits Through Logic Transformation. ITC 1981: 561-565

Coauthor Index

1	Vishwani D. Agrawal	[1]
2	Robert P. Kurshan	[3]
3	M. Ray Mercer	[1]
4	Gary De Palma	[3]

Colors in the list of coauthors