Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/lctrts/ProcterHGBA15
%A Procter, Adam M.
%A Harrison, William L.
%A Graves, Ian
%A Becchi, Michela
%A Allwein, Gerard
%B LCTES
%D 2015
%E Noh, Sam H.
%E Fischmeister, Sebastian
%E Xue, Jason
%I ACM
%K dblp
%P 13:1-13:10
%T Semantics Driven Hardware Design, Implementation, and Verification with ReWire.
%U http://dblp.uni-trier.de/db/conf/lctrts/lctes2015.html#ProcterHGBA15
%@ 978-1-4503-3257-6
@inproceedings{conf/lctrts/ProcterHGBA15,
added-at = {2021-06-23T00:00:00.000+0200},
author = {Procter, Adam M. and Harrison, William L. and Graves, Ian and Becchi, Michela and Allwein, Gerard},
biburl = {https://www.bibsonomy.org/bibtex/25e9f6b0f447013eae00adfa715507365/dblp},
booktitle = {LCTES},
crossref = {conf/lctrts/2015},
editor = {Noh, Sam H. and Fischmeister, Sebastian and Xue, Jason},
ee = {https://doi.org/10.1145/2808704.2754970},
interhash = {df20297561093b8ad025abf8c929f9cc},
intrahash = {5e9f6b0f447013eae00adfa715507365},
isbn = {978-1-4503-3257-6},
keywords = {dblp},
pages = {13:1-13:10},
publisher = {ACM},
timestamp = {2024-04-09T09:43:53.000+0200},
title = {Semantics Driven Hardware Design, Implementation, and Verification with ReWire.},
url = {http://dblp.uni-trier.de/db/conf/lctrts/lctes2015.html#ProcterHGBA15},
year = 2015
}