Juri Lichtner

	2008
1		Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59

Coauthor Index

1	Bernd Becker	[1]
2	Marc Herbstritt	[1]
3	Natalia Kalinnik	[1]
4	Matthew D. T. Lewis	[1]
5	Tobias Nopper	[1]
6	Ralf Wimmer	[1]