Propositional Interpolation Systems for Model Checking
Additional information
Authors
Rollini S. F.,
Sharygina N.
Type
Journal Article
Year
2012
Language
English
Journal
CoRR
Volume
abs/1212.4650
