Florian Lonsing, Subhasish Mitra, Clark W. Barrett. A Theoretical Framework for Symbolic Quick Error Detection. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 1-10, IEEE, 2020. [doi]
@inproceedings{LonsingMB20,
title = {A Theoretical Framework for Symbolic Quick Error Detection},
author = {Florian Lonsing and Subhasish Mitra and Clark W. Barrett},
year = {2020},
doi = {10.34727/2020/isbn.978-3-85448-042-6_9},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_9},
researchr = {https://researchr.org/publication/LonsingMB20},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020},
publisher = {IEEE},
isbn = {978-3-85448-042-6},
}