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

@article{McKeever:2006:10.1007/s00165-005-0075-8,
author = {McKeever, S and Luk, W},
doi = {10.1007/s00165-005-0075-8},
journal = {FORMAL ASPECTS OF COMPUTING},
pages = {120--142},
title = {Provably-correct hardware compilation tools based on pass separation techniques},
url = {http://dx.doi.org/10.1007/s00165-005-0075-8},
volume = {18},
year = {2006}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AU - McKeever,S
AU - Luk,W
DO - 10.1007/s00165-005-0075-8
EP - 142
PY - 2006///
SN - 0934-5043
SP - 120
TI - Provably-correct hardware compilation tools based on pass separation techniques
T2 - FORMAL ASPECTS OF COMPUTING
UR - http://dx.doi.org/10.1007/s00165-005-0075-8
UR - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000238766200002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
VL - 18
ER -