Tamarah Arons, Amir Pnueli. Verifying Tomasulo s Algoithm by Refinement. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. pages 306-309, IEEE Computer Society, 1999. [doi]
@inproceedings{AronsP99,
title = {Verifying Tomasulo s Algoithm by Refinement},
author = {Tamarah Arons and Amir Pnueli},
year = {1999},
doi = {10.1109/ICVD.1999.745165},
url = {http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745165},
tags = {refinement},
researchr = {https://researchr.org/publication/AronsP99},
cites = {0},
citedby = {0},
pages = {306-309},
booktitle = {12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India},
publisher = {IEEE Computer Society},
}