%0 Journal Article
%T Certifying proofs for SAT-based model checking
%A Griggio, Alberto
%A Roveri, Marco
%A Tonetta, Stefano
%J Formal Methods in System Design
%V 57
%N 2
%P 178-210
%@ 0925-9856
%D 2021-08-01
%I Springer US
%~ DeepDyve