Imperial College London

ProfessorWayneLuk

Faculty of EngineeringDepartment of Computing

Professor of Computer Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8313w.luk Website

 
 
//

Location

 

434Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

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 = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5265},
year = {1994}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AU - Brown,G
AU - Luk,W
AU - O'Leary,J
EP - 63
PB - IEEE
PY - 1994///
SP - 54
TI - Retargeting a hardware compiler proof using protocol converters.
UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5265
ER -