An efficient verification method for application in transformational design

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

Original language	English
Title of host publication	Proc. 21st EUROMICRO Conference "Design of Hardware/Software Systems"
Place of Publication	Los Alamito, CA
Publisher	IEEE Computer Society
Pages	118-129
ISBN (Print)	0-8186-7127-0
Publication status	Published - 1995
Event	21st EUROMICRO Conference "Design of Hardware/Software Systems", September 4, 1995, Como, Italy - Como, Italy Duration: 4 Sept 1995 → …

Conference	21st EUROMICRO Conference "Design of Hardware/Software Systems", September 4, 1995, Como, Italy
Country/Territory	Italy
City	Como
Period	4/09/95 → …

Cite this

@inproceedings{d1854c44d9d64924a6dbda6475edbbe1,

title = "An efficient verification method for application in transformational design",

author = "L. Jozwiak",

year = "1995",

language = "English",

isbn = "0-8186-7127-0",

pages = "118--129",

booktitle = "Proc. 21st EUROMICRO Conference {"}Design of Hardware/Software Systems{"}",

publisher = "IEEE Computer Society",

address = "United States",

note = "21st EUROMICRO Conference {"}Design of Hardware/Software Systems{"}, September 4, 1995, Como, Italy ; Conference date: 04-09-1995",

}

TY - GEN

T1 - An efficient verification method for application in transformational design

AU - Jozwiak, L.

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 0-8186-7127-0

SP - 118

EP - 129

BT - Proc. 21st EUROMICRO Conference "Design of Hardware/Software Systems"

PB - IEEE Computer Society

CY - Los Alamito, CA

T2 - 21st EUROMICRO Conference "Design of Hardware/Software Systems", September 4, 1995, Como, Italy

Y2 - 4 September 1995

ER -