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

@inbook{Todman:2017,
author = {Todman, T and Luk, W},
booktitle = {Provably Correct Systems},
editor = {Hinchey and Bowen and Olderog},
pages = {265--281},
publisher = {Springer},
title = {In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design.},
url = {https://doi.org/10.1007/978-3-319-48628-4},
year = {2017}
}

RIS format (EndNote, RefMan)

TY  - CHAP
AU - Todman,T
AU - Luk,W
EP - 281
PB - Springer
PY - 2017///
SN - 978-3-319-48627-7
SP - 265
TI - In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design.
T1 - Provably Correct Systems
UR - https://doi.org/10.1007/978-3-319-48628-4
ER -