Th. Olnhoff

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1981

2 Erich J. Neuhold, Th. Olnhoff: Building Data Base Management Systems Through Formal Specification. ICFPC 1981: 169-209

1980

1 Erich J. Neuhold, Th. Olnhoff: The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System. IFIP Congress 1980: 3-16

	1981
2		Erich J. Neuhold, Th. Olnhoff: Building Data Base Management Systems Through Formal Specification. ICFPC 1981: 169-209
	1980
1		Erich J. Neuhold, Th. Olnhoff: The Vienna Development Method (VDM) and its Use for the Specification of a Rational Data Base System. IFIP Congress 1980: 3-16

Coauthor Index

1 Erich J. Neuhold [1] [2]