Th. Olnhoff

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]