Robert Hum, "Plenary Speech 1P2: Bounding the Endless Verification Loop," Quality Electronic Design, International Symposium on, pp. 16-17, 9th International Symposium on Quality Electronic Design (isqed 2008), 2008.

@article{ 10.1109/ISQED.2008.182,
author = {Robert Hum},
title = {Plenary Speech 1P2: Bounding the Endless Verification Loop},
journal ={Quality Electronic Design, International Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3117-5},
pages = {16-17},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISQED.2008.182},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Quality Electronic Design, International Symposium on
TI - Plenary Speech 1P2: Bounding the Endless Verification Loop
SN - 978-0-7695-3117-5
SP16
EP17
A1 - Robert Hum,
PY - 2008
KW - null
VL - 0
JA - Quality Electronic Design, International Symposium on
ER -