Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/tetc/VeerannaS17
AU - Veeranna, Nandeesha
AU - Schäfer, Benjamin Carrión
TI - Hardware Trojan Detection in Behavioral Intellectual Properties (IP's) Using Property Checking Techniques.
JO - IEEE Trans. Emerg. Top. Comput.
VL - 5
IS - 4
SP - 576
EP - 585
PY - 2017//
DO - 10.1109/TETC.2016.2585046
UR - https://doi.org/10.1109/TETC.2016.2585046
UR - http://doi.ieeecomputersociety.org/10.1109/TETC.2016.2585046
ER -
