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]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page