A mathematical approach towards hardware design

Gerard J. M. Smit, Jan Kuper, Christiaan P. R. Baaij. A mathematical approach towards hardware design. In Peter M. Athanas, Jürgen Becker, Jürgen Teich, Ingrid Verbauwhede, editors, Dynamically Reconfigurable Architectures, 11.07. - 16.07.2010. Volume 10281 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]

@inproceedings{SmitKB10,
  title = {A mathematical approach towards hardware design},
  author = {Gerard J. M. Smit and Jan Kuper and Christiaan P. R. Baaij},
  year = {2010},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2840/},
  researchr = {https://researchr.org/publication/SmitKB10},
  cites = {0},
  citedby = {0},
  booktitle = {Dynamically Reconfigurable Architectures, 11.07. - 16.07.2010},
  editor = {Peter M. Athanas and Jürgen Becker and Jürgen Teich and Ingrid Verbauwhede},
  volume = {10281},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}