Reily Jacoby

	2009
1		Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley: Solver technology for system-level to RTL equivalence checking. DATE 2009: 196-201

Coauthor Index

1	Himanshu Jain	[1]
2	Alfred Kölbl	[1]
3	Carl Pixley	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page