Bounded Model Debugging
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - United States
doi 10.1109/tcad.2010.2061370
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2010
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)