Eliyah Kilada, Kenneth S. Stevens. Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol. In José L. Ayala, David Atienza Alonso, Ricardo Reis, editors, VLSI-SoC: Forward-Looking Trends in IC and Systems Design - 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers. Volume 373 of IFIP Advances in Information and Communication Technology, pages 206-232, Springer, 2010. [doi]
@inproceedings{KiladaS10-0,
title = {Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol},
author = {Eliyah Kilada and Kenneth S. Stevens},
year = {2010},
doi = {10.1007/978-3-642-28566-0_9},
url = {http://dx.doi.org/10.1007/978-3-642-28566-0_9},
researchr = {https://researchr.org/publication/KiladaS10-0},
cites = {0},
citedby = {0},
pages = {206-232},
booktitle = {VLSI-SoC: Forward-Looking Trends in IC and Systems Design - 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers},
editor = {José L. Ayala and David Atienza Alonso and Ricardo Reis},
volume = {373},
series = {IFIP Advances in Information and Communication Technology},
publisher = {Springer},
isbn = {978-3-642-28565-3},
}