Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. Electronic Notes in Theoretical Computer Science, 279(2):43-57, 2011. [doi]
@article{LanoixDK11, title = {Combining Proof and Model-checking to Validate Reconfigurable Architectures}, author = {Arnaud Lanoix and Julien Dormoy and Olga Kouchnarenko}, year = {2011}, doi = {10.1016/j.entcs.2011.11.011}, url = {http://dx.doi.org/10.1016/j.entcs.2011.11.011}, researchr = {https://researchr.org/publication/LanoixDK11}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {279}, number = {2}, pages = {43-57}, }