A denotational semantics for SIL-1 as basis for transformational design of digital systems

C. Huijs

A denotational semantics for SIL-1 as basis for transformational design of digital systems

C. Huijs

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

Original language	Undefined
Title of host publication	8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))
Place of Publication	Amsterdam
Pages	13-25
Publication status	Published - 25 Mar 1994

Keywords

METIS-119367

Cite this

@inproceedings{f477fbe8aa84485ab711408d7daceca3,

title = "A denotational semantics for SIL-1 as basis for transformational design of digital systems",

keywords = "METIS-119367",

author = "C. Huijs",

year = "1994",

month = mar,

day = "25",

language = "Undefined",

pages = "13--25",

booktitle = "8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))",

}

A denotational semantics for SIL-1 as basis for transformational design of digital systems. / Huijs, C.
8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, 1994. p. 13-25.

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

TY - GEN

T1 - A denotational semantics for SIL-1 as basis for transformational design of digital systems

AU - Huijs, C.

PY - 1994/3/25

Y1 - 1994/3/25

KW - METIS-119367

M3 - Conference contribution

SP - 13

EP - 25

BT - 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))

CY - Amsterdam

ER -