Specification of Systems: Theory in Search of Practice

Hendrik Brinksma, J. Parrow, Arend Rensink, S. Heymer

Research output: Book/ReportReportOther research output

Original languageUndefined
Place of PublicationHildesheim, Germany
PublisherInstitut für Informatik, University of Hildesheim
Number of pages21
Publication statusPublished - Sep 1994

Keywords

  • EWI-8249

Cite this

Brinksma, H., Parrow, J., Rensink, A., & Heymer, S. (1994). Specification of Systems: Theory in Search of Practice. Hildesheim, Germany: Institut für Informatik, University of Hildesheim.
Brinksma, Hendrik ; Parrow, J. ; Rensink, Arend ; Heymer, S. / Specification of Systems: Theory in Search of Practice. Hildesheim, Germany : Institut für Informatik, University of Hildesheim, 1994. 21 p.
@book{c42a6a45c30344118ca61361250ce327,
title = "Specification of Systems: Theory in Search of Practice",
keywords = "EWI-8249",
author = "Hendrik Brinksma and J. Parrow and Arend Rensink and S. Heymer",
year = "1994",
month = "9",
language = "Undefined",
publisher = "Institut f{\"u}r Informatik, University of Hildesheim",

}

Brinksma, H, Parrow, J, Rensink, A & Heymer, S 1994, Specification of Systems: Theory in Search of Practice. Institut für Informatik, University of Hildesheim, Hildesheim, Germany.

Specification of Systems: Theory in Search of Practice. / Brinksma, Hendrik; Parrow, J.; Rensink, Arend; Heymer, S.

Hildesheim, Germany : Institut für Informatik, University of Hildesheim, 1994. 21 p.

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - Specification of Systems: Theory in Search of Practice

AU - Brinksma, Hendrik

AU - Parrow, J.

AU - Rensink, Arend

AU - Heymer, S.

PY - 1994/9

Y1 - 1994/9

KW - EWI-8249

M3 - Report

BT - Specification of Systems: Theory in Search of Practice

PB - Institut für Informatik, University of Hildesheim

CY - Hildesheim, Germany

ER -

Brinksma H, Parrow J, Rensink A, Heymer S. Specification of Systems: Theory in Search of Practice. Hildesheim, Germany: Institut für Informatik, University of Hildesheim, 1994. 21 p.