Tomas Grimm, Djones Lettnin, Michael Hübner. Semiformal Verification of Software-Controlled Connections. In 2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017, Bochum, Germany, July 3-5, 2017. pages 556-561, IEEE, 2017. [doi]
@inproceedings{GrimmLH17,
title = {Semiformal Verification of Software-Controlled Connections},
author = {Tomas Grimm and Djones Lettnin and Michael Hübner},
year = {2017},
doi = {10.1109/ISVLSI.2017.103},
url = {https://doi.org/10.1109/ISVLSI.2017.103},
researchr = {https://researchr.org/publication/GrimmLH17},
cites = {0},
citedby = {0},
pages = {556-561},
booktitle = {2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017, Bochum, Germany, July 3-5, 2017},
publisher = {IEEE},
isbn = {978-1-5090-6762-6},
}