Formal support for the ELLA hardwar description language

Howard Barringer; Graham Gough; Brian Monahan; Alan Williams; Paolo Camurati; Hans Eveking

Formal support for the ELLA hardwar description language

Howard Barringer, Graham Gough, Brian Monahan, Alan Williams, Paolo Camurati (Editor), Hans Eveking (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CHARME
Editors	Paolo Camurati, Hans Eveking
Publisher	Springer Nature
Pages	225-245
Number of pages	21
Volume	987
ISBN (Print)	3-540-60385-9
Publication status	Published - 1995
Event	Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/charme/charme1995.html#BarringerGMW95http://dblp.uni-trier.de/rec/bibtex/conf/charme/BarringerGMW95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/charme/BarringerGMW95

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/charme/charme1995.html#BarringerGMW95http://dblp.uni-trier.de/rec/bibtex/conf/charme/BarringerGMW95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/charme/BarringerGMW95

Access to Document

Cite this

@inproceedings{96e12dbdf79646ab85fb01dbd54023dc,

title = "Formal support for the ELLA hardwar description language",

author = "Howard Barringer and Graham Gough and Brian Monahan and Alan Williams and Paolo Camurati and Hans Eveking",

year = "1995",

language = "English",

isbn = "3-540-60385-9",

volume = "987",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "225--245",

editor = "Paolo Camurati and Hans Eveking",

booktitle = "CHARME",

address = "United States",

note = "Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/charme/charme1995.html#BarringerGMW95http://dblp.uni-trier.de/rec/bibtex/conf/charme/BarringerGMW95.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/charme/BarringerGMW95",

}

Barringer, H, Gough, G, Monahan, B, Williams, A, Camurati, P (ed.) & Eveking, H (ed.) 1995, Formal support for the ELLA hardwar description language. in P Camurati & H Eveking (eds), CHARME. vol. 987, Lecture Notes in Computer Science, Springer Nature, pp. 225-245, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/charme/charme1995.html#BarringerGMW95>

TY - GEN

T1 - Formal support for the ELLA hardwar description language

AU - Barringer, Howard

AU - Gough, Graham

AU - Monahan, Brian

AU - Williams, Alan

A2 - Camurati, Paolo

A2 - Eveking, Hans

A2 - Camurati, Paolo

A2 - Eveking, Hans

PY - 1995

Y1 - 1995

M3 - Conference contribution

SN - 3-540-60385-9

VL - 987

T3 - Lecture Notes in Computer Science

SP - 225

EP - 245

BT - CHARME

PB - Springer Nature

T2 - Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings

Y2 - 1 January 1824

ER -