Andreas Hett

	2001
3		Wolfgang Günther, Andreas Hett, Bernd Becker: Application of linearly transformed BDDs in sequential verification. ASP-DAC 2001: 91-96
	2000
2		Andreas Hett, Christoph Scholl, Bernd Becker: Distance driven finite state machine traversal. DAC 2000: 39-42
	1997
1		Andreas Hett, Rolf Drechsler, Bernd Becker: Fast and efficient construction of BDDs by reordering based synthesis. ED&TC 1997: 168-175

Coauthor Index

1	Bernd Becker	[1] [2] [3]
2	Rolf Drechsler	[1]
3	Wolfgang Günther	[3]
4	Christoph Scholl	[2]