BibTex format
@inproceedings{Brown:1994,
author = {Brown, G and Luk, W and O'Leary, J},
pages = {54--63},
publisher = {IEEE},
title = {Retargeting a hardware compiler proof using protocol converters.},
url = {https://ieeexplore.ieee.org/xpl/conhome/5265/proceeding},
year = {1994}
}