A survey of specification formalisms (Abstract)

K.M. Hee, van

A survey of specification formalisms (Abstract)

K.M. Hee, van

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Operations Research Proceedings 1992 (Papers of the 21th Annual Meeting of DGOR, in cooperation with ÖGOR, Aachen, Germany, September 9-11, 1992)
Editors	K.W. Hansmann, A. Bachem, M. Jarke, W.E. Katzenberger, A. Marusev
Place of Publication	Berlin
Publisher	Springer
Pages	489-
ISBN (Print)	3-540-56642-2
Publication status	Published - 1993

Cite this

@inproceedings{cf11e9dff19c4bcaa2f61dab96495f96,

title = "A survey of specification formalisms (Abstract)",

author = "{Hee, van}, K.M.",

year = "1993",

language = "English",

isbn = "3-540-56642-2",

pages = "489--",

editor = "K.W. Hansmann and A. Bachem and M. Jarke and W.E. Katzenberger and A. Marusev",

booktitle = "Operations Research Proceedings 1992 (Papers of the 21th Annual Meeting of DGOR, in cooperation with {\"O}GOR, Aachen, Germany, September 9-11, 1992)",

publisher = "Springer",

address = "Germany",

}

A survey of specification formalisms (Abstract). / Hee, van, K.M.
Operations Research Proceedings 1992 (Papers of the 21th Annual Meeting of DGOR, in cooperation with ÖGOR, Aachen, Germany, September 9-11, 1992). ed. / K.W. Hansmann; A. Bachem; M. Jarke; W.E. Katzenberger; A. Marusev. Berlin: Springer, 1993. p. 489-.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A survey of specification formalisms (Abstract)

AU - Hee, van, K.M.

PY - 1993

Y1 - 1993

M3 - Conference contribution

SN - 3-540-56642-2

SP - 489-

BT - Operations Research Proceedings 1992 (Papers of the 21th Annual Meeting of DGOR, in cooperation with ÖGOR, Aachen, Germany, September 9-11, 1992)

A2 - Hansmann, K.W.

A2 - Bachem, A.

A2 - Jarke, M.

A2 - Katzenberger, W.E.

A2 - Marusev, A.

PB - Springer

CY - Berlin

ER -