Specification and Automated Verification of a Steam Generator using Epsilon

C. H. Kristensen, J. T. Lang

Research output: Book/Report › Book › Research

Original language	English

Place of Publication	Aalborg
Publisher	Aalborg Universitetsforlag
Publication status	Published - 1994

Series	R : Institut for Elektroniske Systemer. Afdeling for Proceskontrol, Aalborg Universitet
Number	R94-4043
ISSN	0908-1208

AUB Link

@book{d407eec0003411dab4d5000ea68e967b,

title = "Specification and Automated Verification of a Steam Generator using Epsilon",

author = "Kristensen, {C. H.} and Lang, {J. T.}",

year = "1994",

language = "English",

series = "R : Institut for Elektroniske Systemer. Afdeling for Proceskontrol, Aalborg Universitet",

number = "R94-4043",

publisher = "Aalborg Universitetsforlag",

}

TY - BOOK

T1 - Specification and Automated Verification of a Steam Generator using Epsilon

AU - Kristensen, C. H.

AU - Lang, J. T.

PY - 1994

Y1 - 1994

M3 - Book

T3 - R : Institut for Elektroniske Systemer. Afdeling for Proceskontrol, Aalborg Universitet

BT - Specification and Automated Verification of a Steam Generator using Epsilon

PB - Aalborg Universitetsforlag

CY - Aalborg

ER -