Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins. A method for rigorous design of reconfigurable systems. Science of Computer Programming, 132:50-76, 2016. [doi]
@article{MadeiraNBM16,
title = {A method for rigorous design of reconfigurable systems},
author = {Alexandre Madeira and Renato Neves and Luís Soares Barbosa and Manuel A. Martins},
year = {2016},
doi = {10.1016/j.scico.2016.05.001},
url = {http://dx.doi.org/10.1016/j.scico.2016.05.001},
researchr = {https://researchr.org/publication/MadeiraNBM16},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {132},
pages = {50-76},
}