Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti. An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 617-632, Springer, 2018. [doi]
@incollection{FerranteFSMB18,
title = {An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems},
author = {Orlando Ferrante and Alberto Ferrari and Christos Sofronis and Leonardo Mangeruca and Luca Benvenuti},
year = {2018},
doi = {10.1007/978-3-319-63516-3_16},
url = {https://doi.org/10.1007/978-3-319-63516-3_16},
researchr = {https://researchr.org/publication/FerranteFSMB18},
cites = {0},
citedby = {0},
pages = {617-632},
booktitle = {Handbook of Parallel Constraint Reasoning},
editor = {Youssef Hamadi and Lakhdar Sais},
publisher = {Springer},
isbn = {978-3-319-63516-3},
}