![](/img/cover-not-exists.png)
Feature Interaction Verification Using Unbounded Model Checking with Interpolation
MATSUO, Takafumi, TSUCHIYA, Tatsuhiro, KIKUNO, TohruVolume:
E92-D
Year:
2009
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.e92.d.1250
File:
PDF, 209 KB
english, 2009