Operational Semantics for Hardware Design Languages

Howard Barringer, Paolo Prinetto (Editor), Paolo Camurati (Editor)

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

Original language	English
Title of host publication	Correct Hardware Design Methodologies
Editors	Paolo Prinetto, Paolo Camurati
Publisher	Elsevier BV
Pages	313-334
Number of pages	22
ISBN (Print)	0 444 89367 9
Publication status	Published - 1992
Event	Advanced Research Workshop on Correct Hardware Design Methodologies - Turin Duration: 12 Jun 1991 → 14 Jun 1991

Conference	Advanced Research Workshop on Correct Hardware Design Methodologies
City	Turin
Period	12/06/91 → 14/06/91

Cite this

@inproceedings{762fd54b239047b2ba1b8de21fac62b4,

title = "Operational Semantics for Hardware Design Languages",

author = "Howard Barringer and Paolo Prinetto and Paolo Camurati",

year = "1992",

language = "English",

isbn = "0 444 89367 9",

pages = "313--334",

editor = "Paolo Prinetto and Paolo Camurati",

booktitle = "Correct Hardware Design Methodologies",

publisher = "Elsevier BV",

address = "Netherlands",

note = "Advanced Research Workshop on Correct Hardware Design Methodologies ; Conference date: 12-06-1991 Through 14-06-1991",

}

TY - GEN

T1 - Operational Semantics for Hardware Design Languages

AU - Barringer, Howard

A2 - Prinetto, Paolo

A2 - Camurati, Paolo

A2 - Prinetto, Paolo

A2 - Camurati, Paolo

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 0 444 89367 9

SP - 313

EP - 334

BT - Correct Hardware Design Methodologies

PB - Elsevier BV

T2 - Advanced Research Workshop on Correct Hardware Design Methodologies

Y2 - 12 June 1991 through 14 June 1991

ER -