@InProceedings{smit_et_al:DagSemProc.10281.3,
author = {Smit, Gerard J. M. and Kuper, Jan and Baaij, Christiaan P. R.},
title = {{A mathematical approach towards hardware design}},
booktitle = {Dynamically Reconfigurable Architectures},
pages = {1--11},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10281},
editor = {Peter M. Athanas and J\"{u}rgen Becker and J\"{u}rgen Teich and Ingrid Verbauwhede},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10281.3},
URN = {urn:nbn:de:0030-drops-28407},
doi = {10.4230/DagSemProc.10281.3},
annote = {Keywords: Hardware design, mathematical specification, streaming applications}
}