Gerd Venzl

	1995
5		Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl: Model Checking in Industrial Hardware Design. DAC 1995: 298-303
	1992
4		Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl: Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. Designing Correct Circuits 1992: 193-213
	1991
3		Holger Busch, Gerd Venzl: Proof-Aided Design of Verified Hardware. DAC 1991: 391-396
2		Gerd Venzl: Are Formal Methods in Design for Real? (Panel Abstract). DAC 1991: 474
1		Wolfgang Glunz, Gerd Venzl: Hardware Design Using CASE Tools. VLSI 1991: 237-246

Coauthor Index

1	Jörg Bormann	[4] [5]
2	Holger Busch	[3]
3	Wolfgang Glunz	[1]
4	Jörg Lohse	[5]
5	H. Nusser-Wehlan	[4]
6	Michael Payer	[5]

Colors in the list of coauthors