Enn Tyugu. A Specification Logic for Reconfigurable Computing. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA. CSREA Press, 2000.
@inproceedings{Tyugu00,
title = {A Specification Logic for Reconfigurable Computing},
author = {Enn Tyugu},
year = {2000},
tags = {logic},
researchr = {https://researchr.org/publication/Tyugu00},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia},
publisher = {CSREA Press},
}