Yu Tai, Wei Hu, Dejun Mu, Baolei Mao, Lantian Guo, Maoyuan Qin. A Simplifying Logic Approach for Gate Level Information Flow Tracking. In Bo Li 0004, Lei Shu 0005, Deze Zeng, editors, Communications and Networking - 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017, Proceedings, Part II. Volume 237 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 302-311, Springer, 2017. [doi]
@inproceedings{TaiHMMGQ17,
title = {A Simplifying Logic Approach for Gate Level Information Flow Tracking},
author = {Yu Tai and Wei Hu and Dejun Mu and Baolei Mao and Lantian Guo and Maoyuan Qin},
year = {2017},
doi = {10.1007/978-3-319-78139-6_31},
url = {https://doi.org/10.1007/978-3-319-78139-6_31},
researchr = {https://researchr.org/publication/TaiHMMGQ17},
cites = {0},
citedby = {0},
pages = {302-311},
booktitle = {Communications and Networking - 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017, Proceedings, Part II},
editor = {Bo Li 0004 and Lei Shu 0005 and Deze Zeng},
volume = {237},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
publisher = {Springer},
isbn = {978-3-319-78139-6},
}