Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini. Hardware Model Checking Algorithms and Techniques. Algorithms, 17(6):253, June 2024. [doi]
@article{CabodiCPP24,
title = {Hardware Model Checking Algorithms and Techniques},
author = {Gianpiero Cabodi and Paolo E. Camurati and Marco Palena and Paolo Pasini},
year = {2024},
month = {June},
doi = {10.3390/a17060253},
url = {https://doi.org/10.3390/a17060253},
researchr = {https://researchr.org/publication/CabodiCPP24},
cites = {0},
citedby = {0},
journal = {Algorithms},
volume = {17},
number = {6},
pages = {253},
}