Specification and Automated Verification of a Steam Generator using Epsilon

C. H. Kristensen, J. T. Lang

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Udgivelsessted	Aalborg
Forlag	Aalborg Universitetsforlag
Status	Udgivet - 1994

Navn	R : Institut for Elektroniske Systemer. Afdeling for Proceskontrol, Aalborg Universitet
Nummer	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 -