Oliver Terhorst

List of publications from the DBLP Bibliography Server - FAQ

1999

1 Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt: Formal Specification and Verification of Communication-Systems for designing in VHDL. FBT 1999: 45-54

1999
1		Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt: Formal Specification and Verification of Communication-Systems for designing in VHDL. FBT 1999: 45-54

Coauthor Index

1	Olaf Drögehorn (Olaf Droegehorn)	[1]
2	Walter Geisselhardt	[1]
3	Heinz-Dieter Hümmer	[1]